Author of the publication

Necessary and sufficient conditions for resultant siphons to be controlled.

, , and . ACC, page 4484-4489. IEEE, (2011)

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 three-stage deadlock prevention strategy for S3PR nets., , and . CASE, page 286-291. IEEE, (2015)A Deadlock Prevention Policy for a Class of Multithreaded Software., , , , , , and . IEEE Access, (2020)A method of computing strict minimal siphons in an S3PR based on resource circuits., , and . CDC, page 2785-2790. IEEE, (2010)A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions., , and . ICRA, page 3745-3750. IEEE, (2011)Synthesis of Petri net controller based local incidence matrix., and . SMC (2), page 1758-1763. IEEE, (2004)Synthesis of Petri net controller to enforce conjunction of GMEC using observer., , and . SMC (2), page 1752-1757. IEEE, (2004)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)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)