ShouGuang Wang, ChengYing Wang, Yanping Yu. An algorithm to find the condition on initial markings of resource places and job places for liveness of S3PMR. In 8th IEEE International Conference on Control and Automation, ICCA 2010, Xiamen, China, June 9-11, 2010. pages 1445-1449, IEEE, 2010. [doi]
Abstract is missing.