A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems
Chandrasekaran, S.; Somnath, N.; Sreenivas, R. S.
- 期刊名称Journal of Intelligent Manufacturing
- 作者Chandrasekaran, S.; Somnath, N.; Sreenivas, R. S.
- 卷第26卷
- 期第5期
- 印刷ISSN0956-5515
- 电子ISSN1572-8145
- 文件大小1691.55KB
- 发表时间2015-10-5
- DOI10.1007/s10845-014-0888-5
- 页码945-958