Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets
Ikram Saadaoui(Macau University of Science and Technology), Mohamed Khalgui(Jinan University), N. Wu(Macau University of Science and Technology), Zheng Li(Kunming University of Science and Technology)
Cited by 3
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