Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2013, Pages

  Ma, Ziyue ^a   Li, Zhiwu ^a   Giua, Alessandro ^a,b,c  

^a XIDIAN UNIVERSITY   (China)

^b UNIVERSITY OF CAGLIARI   (Italy)

^c AIX MARSEILLE UNIV   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE CONSTRAINTS; CONTROL PROBLEMS; CONTROL STRUCTURE; CONTROLLED SYSTEM; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; MONITOR PLACES; PETRI NET CONTROLLER;

SPECIFICATIONS;

FACTORY AUTOMATION;

EID: 84890652814     PISSN: 19460740     EISSN: 19460759     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2013.6648003     Document Type: Conference Paper

References (11)

1. A. Giua, F. DiCesare, and M. Silva. Generalized mutualexclusion constraints for Petri nets with uncontrollabletransitions. In Proc. IEEE Int. Conf. on Systems, Man, andCybernetics, 1992.
2. M. Uzam. On suboptimal supervisory control of Petri netsin the presence of uncontrollable transitions via monitorplaces. Int. J. of Advanced Manufacturing Technology,47:567-579, 2010.
3. S. Wang, C. Wang, and M. Zhou. A transformation algorithmfor optimal admissible generalized mutual exclusionconstraints on Petri nets with uncontrollable transitions. InProc. IEEE Int. Conf. on Robotics and Automation, pages3745-3750, 2011.
4. F. Basile, P. Chiacchio, L. Recalde, and M. Silva. Closedlooplive Petri net supervisors for GMEC. In DiscreteEvent Systems, pages 169-180. Kluwer Academic/PlenumPub, 2000.
5. M. Iordache and P. Antsaklis. Supervision based on placeinvariants: A survey. Discrete Event Dynamic Systems,16:4451-492, 2006.
6. J. Moody and P. Antsaklis. Supervisory Control of DiscreteEvent Systems Using Petri Nets. Springer, 1998.
7. P. Ramadge andW. Wonham. The control of discrete eventsystems. In Proceedings IEEE, 77:81-98, 1989.
8. A. Giua and F. DiCesare. Supervisory design using Petrinets. In Proc. 30th IEEE Conf. on Decision and Control,43:92-97, 1991.
9. L. Holloway, B. Krogh, and A. Giua. A survey of Petri netmethods for controlled discrete event systems. DiscreteEvent Dynamic Systems: Theory and Applications, 7:151-190, 1997.
10. Z. Li and M. Zhou. Deadlock Resolution in AutomatedManufacturing Systems: A Novel Petri Net Approach.Springer, London, 2009.
11. M. Iordache and P. Antsaklis. Petri net supervisors fordisjunctive constraints. In Proc. American Control Conference,pages 4951-4956, 2007.