Author of the publication

Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs.

, , and . Inf. Sci., (2016)

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

The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing system. The International Journal of Advanced Manufacturing Technology, 23 (3-4): 204--219 (February 2004)On a deadlock prevention policy for a class of Petri nets S3PMR, and . 73 (1-4): 315--319 (2014)A new approach for the ladder logic implementation of Ramadge-Wonham supervisors., , and . ICAT, page 1-7. IEEE, (2009)A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems., and . Inf. Sci., (2017)Neurovision-based logic control of an experimental manufacturing plant using neural net le-net5 and automation Petri nets., , , and . J. Intell. Manuf., 16 (4-5): 527-548 (2005)A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems., , , and . J. Intell. Manuf., 27 (5): 1111-1129 (2016)Comments on "Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems"., and . IEEE Trans. Syst. Man Cybern. Syst., 44 (10): 1455-1456 (2014)A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS., , and . ADECS @ Petri Nets, volume 1161 of CEUR Workshop Proceedings, page 68-82. CEUR-WS.org, (2014)Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems., and . SMC (5), page 4260-4265. IEEE, (2004)Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs., , and . Inf. Sci., (2016)