{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T18:26:50Z","timestamp":1772303210281,"version":"3.50.1"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/indin.2004.1417350","type":"proceedings-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T14:25:58Z","timestamp":1113315958000},"page":"309-314","source":"Crossref","is-referenced-by-count":30,"title":["Net model composition and modification by net operations: a pragmatic approach"],"prefix":"10.1109","author":[{"given":"J.P.","family":"Barros","sequence":"first","affiliation":[]},{"given":"L.","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","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 1999 International Conference on Software Engineering (IEEE Cat No 99CB37002) ICSE"},{"key":"13","article-title":"The Petri net markup language","author":"ju?ngel","year":"2000","journal-title":"Workshop Algorithmen und Werkzeuge Fr Petrinetze"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2005.09.007"},{"key":"11","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 Bonn Germany"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume":"1 3","author":"jensen","year":"1992","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use Volume 1"},{"key":"3","first-page":"483","article-title":"The Petri net markup language: Concepts, technology, and tools","volume":"2679","author":"billington","year":"2003","journal-title":"LNCS"},{"key":"2","article-title":"Operational PNML: Towards a PNML support for model construction and modification","author":"gomes","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":"1","article-title":"Modifying Petri net models by means of crosscutting operations","author":"barros","year":"2003","journal-title":"Proceedings of the 3rd International Conference on Application of Concurrency to System Design"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210806"},{"key":"7","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":"Computer Journal"},{"key":"6","article-title":"Coloured Petri nets extended with channels for synchronous communication","author":"christensen","year":"1992","journal-title":"Daimi PB-390"},{"key":"5","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 Zaragoza Spain"},{"key":"4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-53863-1_19","article-title":"A survey of behaviour and equivalence preserving refinements of Petri nets","volume":"483","author":"brauer","year":"1991","journal-title":"Lecture Notes in Computer Science 483 Advances in Petri Nets 1990"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248731"},{"key":"8","first-page":"370","article-title":"A concept of hierarchical Petri nets with building blocks","author":"fettling","year":"1991","journal-title":"Proceedings of the 12th International Conference on Application and Theory of Petri Nets 1991 Gjern Denmark"}],"event":{"name":"2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004","location":"Berlin, Germany"},"container-title":["2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9715\/30671\/01417350.pdf?arnumber=1417350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T18:14:30Z","timestamp":1497636870000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1417350\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/indin.2004.1417350","relation":{},"subject":[]}}