{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T00:18:54Z","timestamp":1756253934131,"version":"3.44.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/iecon.2012.6389080","type":"proceedings-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T23:15:46Z","timestamp":1357168546000},"page":"6120-6125","source":"Crossref","is-referenced-by-count":1,"title":["Extending a net splitting operation for decomposition of high-level Petri nets"],"prefix":"10.1109","author":[{"given":"Filipe","family":"Moutinho","sequence":"first","affiliation":[{"name":"Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia & UNINOVA, Portugal"}]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[{"name":"Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia & UNINOVA, Portugal"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2002.1173442"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.028"},{"key":"17","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","article-title":"Transfoimations and decompositions of nets","volume":"254","author":"berthelot","year":"1987","journal-title":"Lecture Notes in Computer Science"},{"key":"36","article-title":"The input-output place-transition petri net class and associated tools","author":"gomes","year":"2007","journal-title":"Proceedings of Lhe 5th IEEE Inlernational Conference on Industrial Informatics (INDlN'07)"},{"key":"18","first-page":"6","article-title":"Decomposition of Petri nets using the transitive matrix based on P-invariant","volume":"3","author":"lee","year":"2002","journal-title":"Systems Man and Cybernetics 2002 IEEE Inlernational Conference on"},{"key":"33","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-60029-9_38","article-title":"CAB: An environment for developing concurrent application","volume":"935","author":"bruno","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1991.238780"},{"key":"34","article-title":"A method for prepartitioning of petri net models for parallel embedded real-time systems","author":"tacken","year":"1999","journal-title":"Proc of the 6th Annual Auslralasian Conference on Parallel and RealTime Systems (PART'99)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/12.376171"},{"journal-title":"Petri Net Model Decomposition - A Model Based Approach Supporting Distributed Execution","year":"2010","author":"costa","key":"39"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TCSET.2006.4404613"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/32.24734"},{"key":"37","first-page":"159","article-title":"Coloured petri nets extended with channels for synchronous communication","author":"christensen","year":"0","journal-title":"Application and Theory of Pelri Nels 1994 Proc of 15117 Inlern Conf"},{"key":"11","first-page":"9","article-title":"A primer on the Petri Net Markup Language and ISO\/lEC 15909-2","volume":"24","author":"hillah","year":"2009","journal-title":"Pelri Net Newsletter"},{"key":"38","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured petri nets and CPN tools for modelling and validation of concun-ent systems","volume":"9","author":"jensen","year":"2007","journal-title":"Inlernational Journal on Software Tools TiJr Technology Transfer (STTT)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.2478\/v10006-010-0026-2"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/s10559-005-0012-0"},{"key":"20","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","article-title":"Modular analysis of petri nets","volume":"43","author":"christensen","year":"2000","journal-title":"The Computer Journal"},{"key":"22","first-page":"79","article-title":"Decomposition-based calculation of petri net invariants","author":"zaitsev","year":"2004","journal-title":"Proceedings of Workshop on Token Based Compuling (ToBaCo) Satellife Evenl of the 25th Internalional Conference on Application and Theory of Petri Nels"},{"key":"23","first-page":"804","article-title":"Decomposition of nets and verification in terms of decomposition","volume":"2","author":"jiao","year":"2005","journal-title":"Compulational Inlelligence for Modelling Control and Aulomalion 2005 and Inlernational Conference on Inlelligenl Agents Web Technologies and Internet Commerce Inlernational Conference on"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2006.326886"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2007.32"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/9.989151"},{"key":"27","first-page":"29","article-title":"Decomposition into open nets","volume":"501","author":"mennicke","year":"2009","journal-title":"CEUR Workshop Proceedings"},{"key":"28","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1007\/3-540-36206-1_30","article-title":"Decomposition in asynchronous circuit design","volume":"2556","author":"vogler","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"29","first-page":"161","article-title":"Improved decomposition of signal Transition graphs","volume":"78","author":"vogler","year":"2007","journal-title":"Fundamenta Informalicae - The Fijurlh Special Issue on Applicalions of Concurrency to Syslem Design (ACSD05)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2007.18"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.30"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"1","article-title":"Model-based development of embedded systems","author":"schatz","year":"2002","journal-title":"LNCS"},{"key":"30","article-title":"DESI: A tool for decomposing signal transition graphs","author":"kangsah","year":"2003","journal-title":"Third ACiD-WG Workshop Ot the Fijih Framework Programme"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612535"},{"key":"6","article-title":"Modeling intelligent embedded real-time systems using high-level petri nets","author":"rust","year":"2001","journal-title":"Proceedings of Lhe Forum on Design Languages FDL"},{"key":"32","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1016568.1016581","article-title":"A partial reconfigurable architecture for controllers based on petri nets","author":"nascimento","year":"2004","journal-title":"15th Symposium on Integrated Circuits and Systems Design"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/2.108047"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2011.23"},{"journal-title":"Behavioral Modeling Fir Embedded Systems and Technologies Applicalions for Design and Bnplemenlalion","year":"2009","author":"gomes","key":"4"},{"key":"9","first-page":"266","article-title":"Automatic production of globally asynchronous locally synchronous systems","author":"girault","year":"2002","journal-title":"Proceedings of the Second International Conference on Embedded Software Ser EMSOFT '02"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"}],"event":{"name":"IECON 2012 - 38th Annual Conference of IEEE Industrial Electronics","start":{"date-parts":[[2012,10,25]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2012,10,28]]}},"container-title":["IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6373889\/6388505\/06389080.pdf?arnumber=6389080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T19:05:41Z","timestamp":1756235141000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6389080\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/iecon.2012.6389080","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}