@inproceedings{642c5301c9f44900917294144cc95ca1,
title = "A transformation algorithm for optimal admissible generalized mutual exclusion constraints on petri nets with uncontrollable transitions",
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.",
keywords = "Automated manufacturing systems, Discrete event systems, Forbidden state problem, Mutual exclusion, Petri nets, Supervisory control",
author = "Shouguang Wang and Chengying Wang and Mengchu Zhou",
year = "2011",
doi = "10.1109/ICRA.2011.5979727",
language = "English (US)",
isbn = "9781612843865",
series = "Proceedings - IEEE International Conference on Robotics and Automation",
pages = "3745--3750",
booktitle = "2011 IEEE International Conference on Robotics and Automation, ICRA 2011",
note = "2011 IEEE International Conference on Robotics and Automation, ICRA 2011 ; Conference date: 09-05-2011 Through 13-05-2011",
}