An algorithm to find the condition on initial markings of resource places and job places for liveness of S3PMR

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]

Authors

ShouGuang Wang

This author has not been identified. Look up 'ShouGuang Wang' in Google

ChengYing Wang

This author has not been identified. Look up 'ChengYing Wang' in Google

Yanping Yu

This author has not been identified. Look up 'Yanping Yu' in Google