{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:49:57Z","timestamp":1725608997416},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/efta.2007.4416858","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T20:59:03Z","timestamp":1199480343000},"page":"788-791","source":"Crossref","is-referenced-by-count":9,"title":["A graphical editor for the input-output place-transition petri net class"],"prefix":"10.1109","author":[{"given":"Ricardo","family":"Nunes","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Joao Paulo","family":"Barros","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"},{"key":"ref3","article-title":"Operational PNML: Towards a PNML Support for Model Construction and Modification","author":"barros","year":"2004","journal-title":"Workshop on the Definition Implementation and Application of a Standard Interchange Format for Petri Nets Satellite workshop at the International Conference on Application and Theory of Petri Nets 2004"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1997.616278"},{"year":"2004","key":"ref6","article-title":"Petri Net Markup Language(PNML)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_31"},{"year":"2007","key":"ref8","article-title":"FORDESIGN project home page"},{"year":"2001","key":"ref7","article-title":"RELAX NG Specification Committee Specification 3"},{"year":"2007","key":"ref2","article-title":"S N O O P Y. shome page"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1109\/INDIN.2007.4384809","article-title":"The Input-Output Place-Transition Petri Net Class and Associated Tools","author":"gomes","year":"2007","journal-title":"5th IEEE International Conference on Industrial Informatics (INDIN 2007)"}],"event":{"name":"2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)","start":{"date-parts":[[2007,9,25]]},"location":"Patras, Greece","end":{"date-parts":[[2007,9,28]]}},"container-title":["2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4416742\/4416743\/04416858.pdf?arnumber=4416858","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T02:40:38Z","timestamp":1497753638000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4416858\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/efta.2007.4416858","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}