A transformation algorithm for optimal admissible generalized mutual exclusion constraints on petri nets with uncontrollable transitions
Document Type
Conference Proceeding
Publication Date
12-1-2011
Abstract
For a class of Petri nets whose uncontrollable influence subnets are forward synchronization and backward conflict free (FSBCF) nets, this work studies their structure and properties and proposes an algorithm to transform a given generalized mutual exclusion constraint (GMEC) into an optimal admissible one. Compared with the path-based constraint transformation approaches, the proposed method has much higher computational efficiency. An example is used to illustrate the application of the proposed method. © 2011 IEEE.
Identifier
84871704420 (Scopus)
ISBN
[9781612843865]
Publication Title
Proceedings IEEE International Conference on Robotics and Automation
External Full Text Location
https://doi.org/10.1109/ICRA.2011.5979727
ISSN
10504729
First Page
3745
Last Page
3750
Recommended Citation
Wang, Shouguang; Wang, Chengying; and Zhou, Mengchu, "A transformation algorithm for optimal admissible generalized mutual exclusion constraints on petri nets with uncontrollable transitions" (2011). Faculty Publications. 11067.
https://digitalcommons.njit.edu/fac_pubs/11067
