{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T05:11:05Z","timestamp":1769836265695,"version":"3.49.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/indin.2007.4384809","type":"proceedings-article","created":{"date-parts":[[2007,11,21]],"date-time":"2007-11-21T15:13:37Z","timestamp":1195658017000},"page":"509-514","source":"Crossref","is-referenced-by-count":78,"title":["The Input-Output Place-Transition Petri Net Class and Associated Tools"],"prefix":"10.1109","author":[{"given":"Luis","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Joao Paulo","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Nunes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"RELAX NG Specification-Committee Specification 3 December 2001","year":"2001"},{"key":"ref11","article-title":"Petri Net Type Definition for Place\/Transition nets (bases on basic PNML) RELAX NG implementation of ptNetb.pntd version: 1. 0","author":"weber","year":"2001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref13","author":"david","year":"1992","journal-title":"Petri Nets & Grafcet Tools for modelling discrete event systems"},{"key":"ref14","author":"silva","year":"1985","journal-title":"Las Redes de Petri en la Automatica y la Informatica"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/41.334578"},{"key":"ref16","first-page":"57","article-title":"Editing, Visualizing, and Implementing Signal Interpreted Petri Nets","author":"frey","year":"2000","journal-title":"Proceedings of the AWPN 2000"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","article-title":"A Signal Extension for Petri Nets and its Use in Controller Design","volume":"41","author":"hanisch","year":"2000","journal-title":"Fundamenta Informaticae"},{"key":"ref18","first-page":"159","article-title":"Coloured Petri Nets Extended with Channels for Synchronous Communication","author":"christensen","year":"1992","journal-title":"Daimi PB-390"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612615"},{"key":"ref3","article-title":"FORDESIGN project home page","year":"2007"},{"key":"ref6","article-title":"Petri Net Markup Language (PNML)","year":"2004"},{"key":"ref5","first-page":"483","article-title":"The Petri Net Markup Language: Concepts, Technology, and Tools","volume":"2679","author":"billington","year":"2003","journal-title":"Proceeding of the 24th International Conference on Application and Theory of Petri Nets"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560425"},{"key":"ref7","article-title":"S N 0 0 P Y's home page","year":"2007"},{"key":"ref2","article-title":"From Non-Autonomous Petri net Models to Code in Embedded Systems Design","author":"gomes","year":"2004","journal-title":"Second International Workshop on Discrete-Event System Design"},{"key":"ref1","article-title":"From Petri Nets to Executable Systems: an Environment for Code Generation and Analysis","author":"barros","year":"2004","journal-title":"1st International Conference on Informatics in Control Automation and Robotics"},{"key":"ref9","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"}],"event":{"name":"2007 5th IEEE International Conference on Industrial Informatics","location":"Vienna, Austria","start":{"date-parts":[[2007,6,23]]},"end":{"date-parts":[[2007,6,27]]}},"container-title":["2007 5th IEEE International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4384708\/4384709\/04384809.pdf?arnumber=4384809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T13:31:44Z","timestamp":1588080704000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4384809\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/indin.2007.4384809","relation":{},"ISSN":["1935-4576"],"issn-type":[{"value":"1935-4576","type":"print"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}