Author of the publication

A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions.

, , and . ICRA, page 3745-3750. 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 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)Synthesis of Petri nets controller for the constraints involving marking vector and Parikh vector., and . SMC (2), page 1705-1710. IEEE, (2004)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)Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources., , and . ICRA, page 3820-3825. IEEE, (2015)Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning., , , and . CDC, page 356-361. IEEE, (2015)New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets., , and . Sci. China Inf. Sci., 61 (12): 129104:1-129104:3 (2018)Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets., , and . CASE, page 399-404. IEEE, (2011)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)