Author of the publication

Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning

, , , and . 2015 54th IEEE Conference on Decision and Control (CDC), page 356--361. IEEE, (December 2015)
DOI: 10.1109/cdc.2015.7402226

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verification of Detectability in Petri Nets Using Verifier Nets., , , and . CoRR, (2019)Verification of C-detectability Using Petri Nets., , , and . CoRR, (2019)Verification of State-Based Opacity Using Petri Nets., , , and . IEEE Trans. Autom. Control., 62 (6): 2823-2837 (2017)Optimal sensor selection for ensuring diagnosability in labeled Petri nets., , and . Autom., 49 (8): 2373-2383 (2013)Verification of K-step and infinite-step opacity of bounded labeled Petri nets., , and . Autom., (2022)A Decision Support System for Optimizing Operations at Intermodal Railroad Terminals., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 47 (3): 487-501 (2017)Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis., , and . Petri Nets, volume 10877 of Lecture Notes in Computer Science, page 164-183. Springer, (2018)Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection., , and . IEEE Trans. Automat. Contr., 64 (7): 2997-3004 (2019)Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning., , , and . CDC, page 356-361. IEEE, (2015)Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking., , and . SMC, page 2348-2353. IEEE, (2013)