{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:20:02Z","timestamp":1729646402459,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/etfa.2003.1247709","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T09:34:28Z","timestamp":1079948068000},"page":"218-223","source":"Crossref","is-referenced-by-count":0,"title":["Petri Net's execution algorithm for applications in manufacturing systems control"],"prefix":"10.1109","volume":"1","author":[{"given":"G.R.","family":"Alves","sequence":"first","affiliation":[]},{"given":"J.D.","family":"da Costa","sequence":"additional","affiliation":[]},{"given":"F.","family":"Armellini","sequence":"additional","affiliation":[]},{"given":"P.E.","family":"Miyagi","sequence":"additional","affiliation":[]},{"given":"D.J.","family":"dos Santos Filho","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1109\/ICSMC.2000.884356","article-title":"Formal methods in PLC","author":"frey","year":"2000","journal-title":"Proc of the IEEE Conference on Systems Man and Cybernetics (SMC"},{"journal-title":"International Electratechnical Commission (IEC) Tech Rep","article-title":"International standard 61131-3: Programmable logic controllers, part 3: languages","year":"1993","key":"ref3"},{"journal-title":"Software Engineering A Practitioner's Approach","year":"2001","author":"pressman","key":"ref10"},{"journal-title":"Advanced Engineering Mathematics United States of America","year":"1999","author":"kreyzig","key":"ref6"},{"journal-title":"Applying UML and Patterns An Introduction to Object-Oriented Analysis and Design Upper Saddle River","year":"1997","author":"larman","key":"ref11"},{"article-title":"Petri nets-introductory tutorial","year":"2000","author":"balbo","key":"ref5"},{"key":"ref12","first-page":"297","article-title":"Internet-based development of logic controllers using signal interpreted petri nets and IEC 61131","volume":"3","author":"frey","year":"2001","journal-title":"Proc 5th World Mufti-Conference on Systemics Cybernetics and Informatics (SCI 2001)"},{"key":"ref8","first-page":"57","article-title":"Editing, visualizing, and implementing signal interpreted petri nets","author":"frey","year":"2000","journal-title":"in Proc 7th Workshop Algorithmen und Werkzeuge fiir Petrinette (AWPN'2000)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.9746\/sicetr1965.20.122"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008122101686"},{"key":"ref9","first-page":"72","article-title":"Flowchart techniques for structured programming","author":"nassi","year":"1990","journal-title":"Visual Programming Environments Paradigms and Systems"},{"key":"ref1","first-page":"232","article-title":"Enhanced mark fbw graph to control fexible manufacturing systems","volume":"xvii","author":"santos filho","year":"1995","journal-title":"Revista Brasileira de Cincias Mecnicas"}],"event":{"name":"2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings","acronym":"ETFA-03","location":"Lisbon, Portugal"},"container-title":["EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8826\/27939\/01247709.pdf?arnumber=1247709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:26:46Z","timestamp":1497572806000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1247709\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/etfa.2003.1247709","relation":{},"subject":[]}}