{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:32:39Z","timestamp":1729643559451,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/iecon.2009.5414908","type":"proceedings-article","created":{"date-parts":[[2010,2,17]],"date-time":"2010-02-17T13:34:40Z","timestamp":1266413680000},"page":"4377-4382","source":"Crossref","is-referenced-by-count":0,"title":["PNML based composition in non-autonomous Petri net models"],"prefix":"10.1109","author":[{"given":"Luis","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Joao Paulo","family":"Barros","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Petri Net Markup Language (PNML)","year":"2004","key":"ref10"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/978-3-540-40022-6_7","article-title":"The Petri net markup language","volume":"2472","author":"weber","year":"2003","journal-title":"Petri Net Technology for Communication-Based Systems Ser LNCS Springer"},{"key":"ref12","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 Ser LNCS"},{"key":"ref13","first-page":"220","article-title":"Aspect-Oriented Programming","volume":"1241","author":"kiczales","year":"1997","journal-title":"11th European Conference on Object-Oriented Programming"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/302405.302457","article-title":"N Degrees of Separation: Multi-Dimensional Separation of Concerns","author":"tarr","year":"1999","journal-title":"Proceedings of the 21st International Conference on Software Engineering"},{"key":"ref15","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 Event at the International Conference on Application and Theory of Petri Nets 2004"},{"key":"ref16","article-title":"The Input-Output Place-Transition Petri Net Class and Associated Tools","author":"gomes","year":"2007","journal-title":"Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN'07)"},{"journal-title":"D Structures and S D B U of Technology Comonospacebus","article-title":"S N O O P Y ’ s home page","year":"2007","key":"ref17"},{"key":"ref18","article-title":"The Petri Net Markup Language","author":"j\u00fcngel","year":"2000","journal-title":"Workshop Algorithmen und Werkzeuge Fr Petrinetze"},{"key":"ref19","first-page":"7","article-title":"A Universal Module Concept for Petri Nets","author":"kindler","year":"2001","journal-title":"Proceedings des 8 Workshops Algorithmen und Werkzeuge fr Petrinetze\/Gabriel Juhas und Robert Lorenz (Hrsg )-Katholischen Universität Eichstämonospace 2001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210806"},{"key":"ref3","first-page":"370","article-title":"A concept of hierarchical Petri nets with building blocks","author":"fehling","year":"1991","journal-title":"Proceedings of the 12th International Conference on Application and Theory of Petri Nets 1991"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-58152-9_8","article-title":"Hierarchical High Level Petri Nets for Complex System Analysis","volume":"815","author":"buchholz","year":"1994","journal-title":"Lecture Notes in Computer Science Application and Theory of Petri Nets 1994 Proceedings 15th International Conference"},{"key":"ref5","first-page":"159","article-title":"Coloured Petri Nets Extended with Channels for Synchronous Communication","author":"christensen","year":"1994","journal-title":"Proceedings of the 15th International Conference on Application and Theory of Petri Nets"},{"key":"ref8","article-title":"Modifying Petri Net Models by Means of Crosscumonospaceing Operations","author":"barros","year":"2003","journal-title":"Proceedings of the 3rd International Conference on Application of Concurrency to System Design"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/43.3.224"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53863-1_19"},{"key":"ref1","first-page":"192","article-title":"Hierarchies in coloured Petri nets","author":"huber","year":"1989","journal-title":"Proceedings of the 10th International Conference on Application and Theory of Petri Nets 1989"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"}],"event":{"name":"IECON 2009 - 35th Annual Conference of IEEE Industrial Electronics (IECON 2009)","start":{"date-parts":[[2009,11,3]]},"location":"Porto","end":{"date-parts":[[2009,11,5]]}},"container-title":["2009 35th Annual Conference of IEEE Industrial Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5405664\/5414636\/05414908.pdf?arnumber=5414908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,23]],"date-time":"2021-10-23T01:18:16Z","timestamp":1634951896000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5414908\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iecon.2009.5414908","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}