{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T09:28:18Z","timestamp":1768728498630,"version":"3.49.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/iecon.2007.4460403","type":"proceedings-article","created":{"date-parts":[[2008,3,5]],"date-time":"2008-03-05T23:05:01Z","timestamp":1204758301000},"page":"94-99","source":"Crossref","is-referenced-by-count":43,"title":["From Petri net models to VHDL implementation of digital controllers"],"prefix":"10.1109","author":[{"given":"Luis","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Joao Paulo","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Lima","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","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":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560425"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612615"},{"key":"ref13","article-title":"RELAX NG Specification - Committee Specification 3 December 2001","year":"2001"},{"key":"ref14","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":"ref15","first-page":"159","article-title":"Coloured Petri Nets Extended with Channels for Synchronous Communication","volume":"815","author":"christensen","year":"1992","journal-title":"Daimi PB-390"},{"key":"ref16","article-title":"SNOOPY's home page","year":"2007","journal-title":"D Structures and S D B U of Technology Cottbus"},{"key":"ref17","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":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_31"},{"key":"ref3","article-title":"WD 19509–2, Software and Systems Engineering, High-level Petri Nets - Part 2: Transfer Format","year":"2005"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref5","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":"ref8","article-title":"Las Redes de Petri: en la Automática y la Informática","author":"silva","year":"1985"},{"key":"ref7","article-title":"Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems","author":"david","year":"1992"},{"key":"ref2","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":"Proceedings of the IEEE International Conference on Industrial Informatics (INDIN 2007) IEEE"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612535"},{"key":"ref9","first-page":"57","article-title":"Editing, Visualizing, and Implementing Signal Interpreted Petri Nets","author":"frey","year":"2000","journal-title":"Proceedings of the AWPN 2000 Koblenz"}],"event":{"name":"IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society","location":"Taipei, Taiwan","start":{"date-parts":[[2007,11,5]]},"end":{"date-parts":[[2007,11,8]]}},"container-title":["IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4459873\/4459874\/04460403.pdf?arnumber=4460403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,2]],"date-time":"2020-05-02T17:30:49Z","timestamp":1588440649000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4460403\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iecon.2007.4460403","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}