Author of the publication

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)

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

On systematic methods to remove redundant monitors from liveness-enforcing net supervisors☆, and . Computers & Industrial Engineering, 56 (1): 53--62 (February 2009)On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places, , , and . IMA Journal of Mathematical Control and Information, (Aug 6, 2016)On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions, and . The International Journal of Advanced Manufacturing Technology, 38 (1): 195--204 (Jul 1, 2008)Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control, and . International Journal of Production Research, 50 (22): 6203--6218 (Aug 19, 2011)An extraction algorithm for a set of elementary siphons based on mixed-integer programming, , , , and . Journal of Systems Science and Systems Engineering, 21 (1): 106--125 (Mar 1, 2012)On an iterative deadlock prevention approach for automated manufacturing systems, and . 74 (1-4): 503--507 (2014)An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems, and . The International Journal of Advanced Manufacturing Technology, 38 (3): 309--320 (2008)A resource configuration method for liveness of a class of Petri nets, , , , and . IMA Journal of Mathematical Control and Information, (May 10, 2015)Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach, , and . Automation Science and Engineering, IEEE Transactions on, 11 (2): 549--563 (April 2014)An improved deadlock control policy using elementary siphons and MIP approach, and . (2005)