Enumeration of reachable and other states of simple version of Systems of Simple Sequential Processes with Resources (S3PR)

Daniel Yuh Chao, Hung-Yi Chen, Fang Yu. Enumeration of reachable and other states of simple version of Systems of Simple Sequential Processes with Resources (S3PR). In 21st IEEE International Symposium on Industrial Electronics, ISIE 2012, Hangzhou, China, 28-31 May, 2012. pages 1369-1374, IEEE, 2012. [doi]

Abstract

Abstract is missing.