Author of the publication

On Nonexistence of a Maximally Permissive Liveness-Enforcing Pure Net Supervisor.

, , , and . IEEE Trans. Syst. Man Cybern. Syst., 43 (1): 29-37 (2013)

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 approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models, and . Engineering with Computers, 25 (3): 269--278 (Sep 1, 2009)Liveness of an extended S3PR, , and . Automatica, 46 (6): 1008--1018 (Jun 21, 2010)Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons, and . Journal of Intelligent Manufacturing, 21 (4): 555--567 (January 2010)Flexible Process Planning and End-of-Life Decision-Making for Product Recovery Optimization Based on Hybrid Disassembly., , , , , and . IEEE Trans Autom. Sci. Eng., 16 (1): 311-326 (2019)Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets., , and . IEEE Trans Autom. Sci. Eng., 8 (4): 794-804 (2011)An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems., , , and . IEEE Trans Autom. Sci. Eng., 10 (3): 772-782 (2013)Scheduling and Reconfiguration of Real-Time Systems - A Supervisory Control Approach, and . Springer, (2023)Performance balance oriented product structure optimization involving heterogeneous uncertainties in intelligent manufacturing with an industrial network., , , , , , and . Inf. Sci., (2022)Multi-objective scheduling of priority-based rescue vehicles to extinguish forest fires using a multi-objective discrete gravitational search algorithm., , , , and . Inf. Sci., (2022)Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming., , and . Int. J. Syst. Sci., 41 (9): 1013-1026 (2010)