{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T00:49:31Z","timestamp":1714351771969},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Electron."],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/tie.2009.2031188","type":"journal-article","created":{"date-parts":[[2009,9,4]],"date-time":"2009-09-04T14:37:22Z","timestamp":1252075042000},"page":"1806-1813","source":"Crossref","is-referenced-by-count":15,"title":["Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers"],"prefix":"10.1109","volume":"57","author":[{"given":"Luis","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Joao","family":"Lourenco","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","first-page":"431","article-title":"the britney suite animation tool","volume":"4024","author":"westergaard","year":"2006","journal-title":"Proc ICATPN"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40022-6_6"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1997.616278"},{"key":"ref30","year":"2007","journal-title":"Data Structures and Software Dependability Brandenburg University of Technology Cottbus"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2005.844225"},{"key":"ref35","author":"wurmus","year":"2002","journal-title":"CNet&#821Komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen"},{"key":"ref34","author":"westergaard","year":"0","journal-title":"BRITNeY Suite Website"},{"key":"ref10","first-page":"5-1","author":"gomes","year":"2005","journal-title":"Embedded Systems Handbook"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"},{"key":"ref12","first-page":"509","article-title":"the inputoutput place-transition petri net class and associated tools","author":"gomes","year":"2007","journal-title":"Proc 5th IEEE INDIN"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2008.4581447"},{"key":"ref14","volume":"1","author":"jensen","year":"1997","journal-title":"Basic Concepts Analysis Methods and Practical Use"},{"key":"ref15","first-page":"464","article-title":"3d-visualization of petri net models: concepts and visualization","volume":"3099","author":"kindler","year":"2004","journal-title":"Proc ICATPN"},{"key":"ref16","first-page":"26","article-title":"a cookbook for using the modelviewcontroller user interface paradigm in smaltalk-80","volume":"1","author":"krasner","year":"1988","journal-title":"J Object-Oriented Program"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2008.920650"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2005.855694"},{"key":"ref19","first-page":"409","article-title":"animated graphical user interface generator framework for inputoutput place-transition petri net models","volume":"5062","author":"loureno","year":"2008","journal-title":"Proc 29th ICATPN Xi'an China"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2008.921687"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"ref3","year":"0","journal-title":"CPN-Tools CPN Tools Homepage"},{"key":"ref6","year":"0","journal-title":"ExSpect Tool The ExSpect Tool Website"},{"key":"ref29","author":"silva","year":"1985","journal-title":"Las Redes de Petri en la Automatica y la Informatica"},{"key":"ref5","author":"david","year":"1992","journal-title":"Petri Nets & Grafcet Tools for modelling discrete event systems"},{"key":"ref8","author":"girault","year":"2003","journal-title":"Petri Nets for Systems EngineeringA Guide to Modeling Verification and Applications"},{"key":"ref7","year":"2008","journal-title":"FORDESIGN Project Website"},{"key":"ref2","first-page":"483","article-title":"the petri net markup language: concepts, technology, and tools","volume":"lncs 2679","author":"billington","year":"2003","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28327-7_13"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0953-5438(03)00011-0"},{"key":"ref20","first-page":"231","article-title":"execution of uml models with cpn tools for workflow requirements validation","volume":"pb 576","author":"machado","year":"2005","journal-title":"Proc 6th CPN Workshop DAIMI"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2009.5218315"},{"key":"ref21","author":"magee","year":"1999","journal-title":"Concurrency State Models and Java Programs"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.857614"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416811"},{"key":"ref26","year":"2004","journal-title":"PNML Petri Net Markup Language"},{"key":"ref25","first-page":"788","article-title":"a graphical editor for the inputoutput place-transition petri net class","author":"nunes","year":"2007","journal-title":"Proc 12th IEEE ETFA"}],"container-title":["IEEE Transactions on Industrial Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/41\/5446457\/05229200.pdf?arnumber=5229200","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:52:11Z","timestamp":1633909931000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5229200\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":36,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tie.2009.2031188","relation":{},"ISSN":["0278-0046"],"issn-type":[{"value":"0278-0046","type":"print"}],"subject":[],"published":{"date-parts":[[2010,5]]}}}