Results 271 to 280 of about 1,107,230 (292)

New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014
Kamel Barkaoui, Murat Uzam, YuFeng Chen
exaly  

A Survey of Petri Nets Slicing

ACM Computing Surveys, 2019
Alexandros Konios, Yasir Imtiaz Khan
exaly  

Petri net ontology

Knowledge-Based Systems, 2006
Dragan Gasevic, Vladan Devedžić
exaly  

On the Decidability and Complexity of Diagnosability for Labeled Petri Nets

IEEE Transactions on Automatic Control, 2017
Stephane Lafortune, Xiang Yin
exaly  

Putting high-level Petri nets to work in industry

Computers in Industry, 1994
W M P van der Aalst
exaly  

Blocking and controllability of Petri nets in supervisory control

IEEE Transactions on Automatic Control, 1994
Alessandro Giua, F Dicesare
exaly  

Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017
Naiqi Wu, Kamel Barkaoui, YuFeng Chen
exaly  

Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems

Control Engineering Practice, 2011
Alessandro Giua
exaly  

Petri Net Modeling of Cyber-Physical Attacks on Smart Grid

IEEE Transactions on Smart Grid, 2011
Thomas M Chen, Juan C Sánchez-Aarnoutse, John Buford   +2 more
exaly  

A survey of siphons in Petri nets

Information Sciences, 2016
Kamel Barkaoui, Gaiyun Liu
exaly