{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:38:54Z","timestamp":1729676334334,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/etfa.2008.4638376","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T14:08:47Z","timestamp":1223388527000},"page":"74-81","source":"Crossref","is-referenced-by-count":2,"title":["Evaluation of Sequential Function Charts execution techniques. The Active Steps Algorithm."],"prefix":"10.1109","author":[{"given":"Ramon","family":"Piedrafita","sequence":"first","affiliation":[]},{"given":"Jose Luis","family":"Villarroel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"1400","article-title":"performance evaluation of petri nets execution algorithms","author":"piedrafita","year":"2007","journal-title":"2007 IEEE International Conference on Systems Man and Cybernetics"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1109\/WODES.2008.4605963"},{"key":"17","first-page":"1246","article-title":"petri nets and java. real-time control of a flexible manufacturing cell","author":"piedrafita","year":"2006","journal-title":"2006 IEEE Conference on Emerging Technologies and Factory Automation ETFA"},{"key":"18","first-page":"178","article-title":"implementation of time petri nets in real-time java","author":"piedrafita","year":"2006","journal-title":"Proc Workshop Java Technologies for Real-Time and Embedded Systems"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1049\/PBCE050E"},{"year":"2000","journal-title":"The Real-Time Specification for Java","key":"16"},{"key":"13","first-page":"83","article-title":"programmable logic controllers and petri nets: a comparative study","author":"silva","year":"1982","journal-title":"IFAC Symp on Software for Computer Control"},{"year":"0","key":"14"},{"key":"11","first-page":"178","article-title":"towards a unified methodology for converting coloured petri net controllers into ladder logic using tpll: part i - methodology","author":"uzam","year":"1996","journal-title":"Proc 8th Int Workshop on Discrete Event Systems WODES'06"},{"key":"12","first-page":"440","article-title":"plc programming with signal interpreted petri nets","volume":"2679","author":"klein","year":"2003","journal-title":"LNCS"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/70.370500"},{"year":"1985","author":"silva","journal-title":"Las redes de Petri En la Automa?tica y la Informa?tica","key":"3"},{"year":"2007","journal-title":"JamaicaVM Realtime Java Technology","key":"20"},{"year":"1992","author":"david","journal-title":"Petri Nets and Grafcet Tools for Modelling Discrete Event Systems","key":"2"},{"year":"2001","article-title":"international standard iec 61131-3 (2nd ed.). programmable logic controllers-part 3. iso\/iec (final draft).'","key":"1"},{"key":"10","first-page":"523","article-title":"ladder diagram and petrinet-based discrete-event control design methods. systems, man and cybernetics, part c: applications and reviews","volume":"34","author":"peng","year":"2004","journal-title":"IEEE Trans"},{"key":"7","first-page":"99","article-title":"implementation of weighted place\/transition nets based on linear enabling functions","volume":"815","author":"briz","year":"1994","journal-title":"Application and Theory of Petri Nets"},{"key":"6","article-title":"on software implementation of petri nets and colored petri nets using high-level concurrent languages","author":"colom","year":"1986","journal-title":"Seventh European Workshop on applications and theory of Petri nets"},{"year":"0","key":"5"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1016\/j.conengprac.2004.11.011"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/TSE.1986.6312948"},{"key":"8","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-50580-6_40","article-title":"on the implementation of petri nets","volume":"340","author":"taubner","year":"1988","journal-title":"Lect Notes Comput Sci"}],"event":{"name":"Factory Automation (ETFA 2008)","start":{"date-parts":[[2008,9,15]]},"location":"Hamburg, Germany","end":{"date-parts":[[2008,9,18]]}},"container-title":["2008 IEEE International Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4631965\/4638343\/04638376.pdf?arnumber=4638376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T08:22:01Z","timestamp":1497774121000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4638376\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/etfa.2008.4638376","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}