{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T22:25:30Z","timestamp":1743459930968,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/etfa.2003.1248731","type":"proceedings-article","created":{"date-parts":[[2004,3,30]],"date-time":"2004-03-30T17:17:26Z","timestamp":1080667046000},"page":"431-438","source":"Crossref","is-referenced-by-count":18,"title":["On structuring mechanisms for Petri nets based system design"],"prefix":"10.1109","volume":"2","author":[{"given":"L.","family":"Gomes","sequence":"first","affiliation":[]},{"given":"J.P.","family":"Barros","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538189"},{"key":"ref11","first-page":"313","article-title":"Hierarchies in Coloured Petri Nets","author":"huber","year":"1990","journal-title":"Advances in Petri Nets 1990"},{"key":"ref12","first-page":"445","article-title":"Modeling Hierarchical and Recursive Structures using Parametric Petri Nets","author":"janneck","year":"1999","journal-title":"Proc High Performance Computing"},{"key":"ref13","article-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","volume":"1","author":"jensen","year":"1992"},{"key":"ref14","article-title":"Las Redes de Petri: en la Automatica y la Informatica","author":"silva","year":"1985","journal-title":"AC Editorial"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56689-9_43"},{"key":"ref17","article-title":"Petri net based hierarchical state machine model for reactive real-time systems","author":"gomes","year":"1996","journal-title":"Control 96"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44988-4_19"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63139-9_29"},{"article-title":"Petri Nets & Grafcet; Tools for modelling discrete event systems","year":"1992","author":"david","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58152-9_8"},{"key":"ref6","first-page":"218","article-title":"Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning","volume":"935","author":"gomes","year":"1995","journal-title":"Application and Theory of Petri-Nets"},{"key":"ref5","first-page":"318","article-title":"Redes de Petri Reactivas e Hierarquicas - integracao de formalismos no projecto de sistemas reactivos de tempo-real","author":"gomes","year":"1997","journal-title":"Portuguese Universidade Nova de Lisboa Faculdade de Ciencias e Tecnologia"},{"key":"ref8","article-title":"Petri net model node structuring techniques for embedded system design","author":"gomes","year":"2002","journal-title":"proceedings of the 5th Portuguese Conference on Automatic Control"},{"key":"ref7","article-title":"Using hierarchical structuring mechanisms with Petri nets for PLD based system design","author":"gomes","year":"2001","journal-title":"The International Workshop on Discrete-Event System Design DESDes'01"},{"key":"ref2","article-title":"A Survey of Basic Net Models and Modular Net Classes","author":"bemardinello","year":"0","journal-title":"Advances in Petri Nets 1992"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207712"},{"key":"ref9","first-page":"212","article-title":"A Formal Definition of Hierarchical Predicate Transition Nets","author":"xudong","year":"1996","journal-title":"Application and Theory of Petri-Nets"}],"event":{"name":"2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings","acronym":"ETFA-03","location":"Lisbon, Portugal"},"container-title":["EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8826\/27958\/01248731.pdf?arnumber=1248731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T15:48:55Z","timestamp":1489420135000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1248731\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/etfa.2003.1248731","relation":{},"subject":[]}}