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

A Deadlock Prevention Policy for a Class of Multithreaded Software., , , , , , and . IEEE Access, (2020)A three-stage deadlock prevention strategy for S3PR nets., , and . CASE, page 286-291. IEEE, (2015)A method of computing strict minimal siphons in an S3PR based on resource circuits., , and . CDC, page 2785-2790. IEEE, (2010)An iterative Deadlock Prevention Policy Based on siphons., , , , and . ICNSC, page 242-246. IEEE, (2019)Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation., , and . SMC, page 826-831. IEEE, (2011)Liveness Enforcement for a Class of Petri Nets via Resource Allocation., , , , , and . SMC, page 4369-4374. IEEE, (2018)Synthesis of Petri net controller to enforce conjunction of GMEC using observer., , and . SMC (2), page 1752-1757. IEEE, (2004)Synthesis of Petri net controller based local incidence matrix., and . SMC (2), page 1758-1763. IEEE, (2004)A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions., , and . ICRA, page 3745-3750. IEEE, (2011)An Efficient Liveness Analysis Method for Petri Nets via Maximally Good-Step Graphs., , , and . IEEE Trans. Syst. Man Cybern. Syst., 54 (7): 3908-3919 (July 2024)