{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:28:38Z","timestamp":1729625318491,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.1998.725495","type":"proceedings-article","created":{"date-parts":[[2002,11,27]],"date-time":"2002-11-27T17:03:01Z","timestamp":1038416581000},"page":"698-703","source":"Crossref","is-referenced-by-count":1,"title":["Modeling, specification and controller synthesis for discrete event systems"],"prefix":"10.1109","volume":"1","author":[{"given":"B.","family":"Lennartson","sequence":"first","affiliation":[]},{"given":"M.","family":"Tittus","sequence":"additional","affiliation":[]},{"given":"M.","family":"Fabian","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"312","article-title":"Job shop scheduling with limited buffers","author":"liljenvall","year":"1997","journal-title":"Proc AARTC 97"},{"journal-title":"Scheduling for manufacturing systems","year":"1998","author":"liljenvall","key":"ref11"},{"journal-title":"International Series in Computer Science","year":"1989","author":"milner","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/3-540-60915-6_5","author":"stirling","year":"1996","journal-title":"Logics for Concurrency Structures Versus Automata"},{"key":"ref15","first-page":"301","article-title":"On the use of multiple models and formal control synthesis in batch control","author":"tittus","year":"1996","journal-title":"Proc of the IFAC World Congress"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1995.478464"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/87.406973"},{"journal-title":"International Series in Computer Science","year":"1994","author":"arnold","key":"ref3"},{"key":"ref6","article-title":"Petri nets and control synthesis; an object oriented approach","author":"fabian","year":"1994","journal-title":"Proc of the 2nd IFAC\/IFIP\/IFORS Workshop on Intelligent Manufacturing Systems IMS '94"},{"key":"ref5","article-title":"Integrating process planning and control for flexible production systems","author":"fabian","year":"1997","journal-title":"Proc 4th European Contr Conf"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume":"1032","author":"godefroid","year":"1996","journal-title":"Lecture Notes in Computer Science"},{"key":"ref7","first-page":"163","article-title":"Petri net constructs for high level operation lists","author":"fabian","year":"1995","journal-title":"Proceedings of INCOM'95"},{"key":"ref2","first-page":"118","article-title":"A machining cell level language for product specification","author":"andreasson","year":"1995","journal-title":"Proceedings of INCOM'95"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0967-0661(95)00027-R"},{"journal-title":"International Series in Computer Science","year":"1985","author":"hoare","key":"ref9"}],"event":{"name":"SMC '98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics","acronym":"ICSMC-98","location":"San Diego, CA, USA"},"container-title":["SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx4\/5875\/15656\/00725495.pdf?arnumber=725495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T11:22:56Z","timestamp":1497525776000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/725495\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icsmc.1998.725495","relation":{},"subject":[]}}