{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:20:36Z","timestamp":1729646436994,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2003.1243831","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"292-299","source":"Crossref","is-referenced-by-count":1,"title":["A petri net based approach to design well behaved discrete event systems"],"prefix":"10.1109","volume":"1","author":[{"given":"A.A.","family":"Pouyan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Control structure nets","year":"1977","author":"herzog","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/70.388774"},{"key":"ref12","first-page":"661","article-title":"Synthesis of place\/transition nets for simulation and control of manufacturing systems","author":"krogh","year":"1986","journal-title":"Proc IFIP Symp Large Scale Syst"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/21.135693"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1980.1084711"},{"article-title":"Petri net theory and the modelling of systems","year":"1981","author":"peterson","key":"ref16"},{"journal-title":"A computer based Petri net based approach to modelling automated manufacturing systems","year":"1998","author":"pouyan","key":"ref17"},{"key":"ref18","first-page":"129","article-title":"State of the art in application of Petri nets in automated manufacturing systems","author":"pouyan","year":"1995","journal-title":"Proc 6th International Manufacturing Conference"},{"key":"ref19","first-page":"45","article-title":"A Petri net based approach to logic controller design","author":"pouyan","year":"1996","journal-title":"Proc Int Advanced Engineering and Design"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01975673"},{"key":"ref3","first-page":"266","article-title":"The algorithm of a synthesis technique for concurrent systems","author":"chao","year":"1989","journal-title":"9th IEEE Int Workshop Petri Nets and Performance Models"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/71.219756"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/37.1.67"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/828.322441"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1109\/T-C.1971.223314","article-title":"A theory of asynchronous control networks","volume":"c 20","author":"altman","year":"1971","journal-title":"IEEE Trans Computers"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1978.1585190"},{"key":"ref9","article-title":"Circuits, handles, bridges, and nets","author":"esparza","year":"1985","journal-title":"Advances in Petri Nets"},{"key":"ref20","first-page":"505","article-title":"Modelling, analysis, and simulation of flexible manufacturing systems","author":"pouyan","year":"1997","journal-title":"Proceedings of the Third International Conference on Modelling and Simulation"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90050-3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(83)90029-6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"}],"event":{"name":"SMC'03 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)","acronym":"ICSMC-03","location":"Washington, DC, USA"},"container-title":["SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8811\/27871\/01243831.pdf?arnumber=1243831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:16:36Z","timestamp":1497600996000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1243831\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2003.1243831","relation":{},"subject":[]}}