Modeling, Simulation and Verification of Probabilistic Reconfigurable Discrete-Event Systems Under Energy and Memory Constraints
Oussama Khlifi(Jinan University), Zheng Li(Kunming University of Science and Technology), Olfa Mosbahi(University of Carthage), Georg Frey(Saarland University), Mohamed Khalgui(Jinan University)
Iranian Journal of Science and Technology Transactions of Electrical Engineering
July 11, 2018
Cited by 8
Related Papers
Clarifications on the Definitions of Elementary Siphons in Petri Nets
|IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans|2006|153
Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems
|IET Control Theory and Applications|2007|65
On the Responses of Mesosphere and Lower Thermosphere Temperatures to Geomagnetic Storms at Low and Middle Latitudes
|Geophysical Research Letters|2018|45
Understanding the Behaviors of Thermospheric Nitric Oxide Cooling During the 15 May 2005 Geomagnetic Storm
|Journal of Geophysical Research Space Physics|2019|42
A Comparison Study of NO Cooling Between TIMED/SABER Measurements and TIEGCM Simulations
|Journal of Geophysical Research Space Physics|2018|41