Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems
Cited by 65
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
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
Multiple Attacks Detection on Discrete Event Systems
|Unknown|2019|39