Enumeration of reachable, forbidden, live, and deadlock states of bottom k-th order system (with a left side non-sharing resource place) of Petri nets

Daniel Yuh Chao, Tsung Hsien Yu, Chia Chang Liou. Enumeration of reachable, forbidden, live, and deadlock states of bottom k-th order system (with a left side non-sharing resource place) of Petri nets. In Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014, Miami, FL, USA, April 7-9, 2014. pages 572-577, IEEE, 2014. [doi]

Abstract

Abstract is missing.