Author of the publication

A resource configuration method for liveness of a class of Petri nets

, , , , and . IMA Journal of Mathematical Control and Information, (May 10, 2015)
DOI: 10.1093/imamci/dnv016

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 method of computing strict minimal siphons in an S3PR based on resource circuits., , and . CDC, page 2785-2790. IEEE, (2010)A Deadlock Prevention Policy for a Class of Multithreaded Software., , , , , , and . IEEE Access, (2020)A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets, , , and . IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 42 (1): 226--237 (January 2012)Synthesis of Petri nets controller for the constraints involving marking vector and Parikh vector., and . SMC (2), page 1705-1710. IEEE, (2004)New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets., , and . Sci. China Inf. Sci., 61 (12): 129104:1-129104:3 (2018)Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions., , , and . IMA J. Math. Control. Inf., 34 (2): 565-577 (2017)Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning., , , and . CDC, page 356-361. IEEE, (2015)Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets., , and . CASE, page 399-404. IEEE, (2011)Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources., , and . ICRA, page 3820-3825. IEEE, (2015)