A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures
- 1 January 2014
- journal article
- Published by Elsevier BV in IFAC Proceedings Volumes
- Vol. 47 (2), 66-72
- https://doi.org/10.3182/20140514-3-fr-4046.00085
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Petri net controllers for disjunctive Generalized Mutual Exclusion ConstraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- Maximally permissive supervisor synthesis based on a new constraint transformation methodAutomatica, 2012
- Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature ReviewIEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 2011
- A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- Feedback Control Logic for Backward Conflict Free Choice NetsIEEE Transactions on Automatic Control, 2007
- Computing Bounds for Forbidden State Reachability Functions for Controlled Petri NetsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2004
- Petri net supervisors for DES with uncontrollable and unobservable transitionsIEEE Transactions on Automatic Control, 2000