{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T15:30:39Z","timestamp":1760369439214,"version":"3.40.5"},"reference-count":37,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1016\/j.scico.2017.12.003","type":"journal-article","created":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T18:21:10Z","timestamp":1513189270000},"page":"56-70","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":13,"special_numbering":"C","title":["Software development with Petri nets and agents: Approach, frameworks and tool set"],"prefix":"10.1016","volume":"157","author":[{"given":"Lawrence","family":"Cabac","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9437-4086","authenticated-orcid":false,"given":"Michael","family":"Haustermann","sequence":"additional","affiliation":[]},{"given":"David","family":"Mosteller","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"year":"2002","series-title":"Referenznetze","author":"Kummer","key":"10.1016\/j.scico.2017.12.003_br0010"},{"key":"10.1016\/j.scico.2017.12.003_br0020","series-title":"19th International Conference on Application and Theory of Petri Nets","first-page":"1","article-title":"Petri nets as token objects \u2013 an introduction to elementary object nets","volume":"vol. 1420","author":"Valk","year":"1998"},{"author":"Kummer","key":"10.1016\/j.scico.2017.12.003_br0030"},{"key":"10.1016\/j.scico.2017.12.003_br0040","series-title":"Proceedings of the 25th International Conference on Applications and Theory of Petri Nets 2004","first-page":"484","article-title":"An extensible editor and simulation engine for Petri nets: Renew","volume":"vol. 3099","author":"Kummer","year":"2004"},{"key":"10.1016\/j.scico.2017.12.003_br0050","series-title":"Proceedings of the 13th Workshop Application and Tools for Petri Nets","first-page":"85","article-title":"Informal introduction to the feature structure nets tool \u2013 a tool for process and information modeling","author":"Duvigneau","year":"2006"},{"year":"2016","series-title":"Renew \u2013 User Guide (Release 2.5)","author":"Kummer","key":"10.1016\/j.scico.2017.12.003_br0060"},{"key":"10.1016\/j.scico.2017.12.003_br0070","unstructured":"P. M\u00f6ller, M. Haustermann, D. Mosteller, D. Schmitz, Simulating multiple formalisms concurrently based on reference nets, in: Moldt et al. [37], pp. 137\u2013156."},{"key":"10.1016\/j.scico.2017.12.003_br0080","series-title":"Proceedings of the 26th International Conference on Applications and Theory of Petri Nets 2005","first-page":"148","article-title":"Modeling dynamic architectures using nets-within-nets","volume":"vol. 3536","author":"Cabac","year":"2005"},{"key":"10.1016\/j.scico.2017.12.003_br0090","series-title":"ATPN","first-page":"159","article-title":"Coloured Petri nets extended with channels for synchronous communication","volume":"vol. 815","author":"Christensen","year":"1994"},{"key":"10.1016\/j.scico.2017.12.003_br0100","series-title":"Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems","first-page":"156","article-title":"ImageNetDiff: finding differences in models","author":"Cabac","year":"2009"},{"key":"10.1016\/j.scico.2017.12.003_br0110","series-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering","first-page":"167","article-title":"Improving the development tool chain in the context of Petri net-based software development","volume":"vol. 723","author":"Betz","year":"2011"},{"key":"10.1016\/j.scico.2017.12.003_br0120","series-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering","first-page":"275","article-title":"Refining the quick fix for the Petri net modeling tool Renew","volume":"vol. 1591","author":"Hicken","year":"2016"},{"key":"10.1016\/j.scico.2017.12.003_br0130","series-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering","first-page":"76","article-title":"Introducing refactoring for reference nets","volume":"vol. 1591","author":"Friedrich","year":"2016"},{"key":"10.1016\/j.scico.2017.12.003_br0140","article-title":"Modellierung von Agenten und Multiagentensystemen \u2013 Grundlagen und Anwendungen","volume":"vol. 2","author":"R\u00f6lke","year":"2004"},{"key":"10.1016\/j.scico.2017.12.003_br0150","article-title":"Modeling Petri Net-Based Multi-Agent Applications","volume":"vol. 5","author":"Cabac","year":"2010"},{"key":"10.1016\/j.scico.2017.12.003_br0160","series-title":"Agent-Oriented Software Engineering III, Third International Workshop","first-page":"59","article-title":"Concurrent architecture for a multi-agent platform","volume":"vol. 2585","author":"Duvigneau","year":"2003"},{"author":"FIPA","key":"10.1016\/j.scico.2017.12.003_br0170"},{"issue":"3","key":"10.1016\/j.scico.2017.12.003_br0180","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1145\/958961.958963","article-title":"Developing multiagent systems: the Gaia methodology","volume":"12","author":"Zambonelli","year":"2003","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10.1016\/j.scico.2017.12.003_br0190","series-title":"Software Engineering with Petri Nets: A Web Service and Agent Perspective, Transactions on Petri Nets and Other Models of Concurrency IX","first-page":"41","author":"Betz","year":"2014"},{"key":"10.1016\/j.scico.2017.12.003_br0200","series-title":"Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework, Transaction on Petri Nets and Other Models of Concurrency XI","first-page":"92","author":"Mosteller","year":"2016"},{"key":"10.1016\/j.scico.2017.12.003_br0210","series-title":"Agent-Oriented Software Engineering V: 5th International Workshop","first-page":"47","article-title":"Formal semantics for AUML agent interaction protocol diagrams","volume":"vol. 3382","author":"Cabac","year":"2005"},{"key":"10.1016\/j.scico.2017.12.003_br0220","series-title":"Modeling Organizational Structures and Agent Knowledge for Mulan Applications, Transactions on Petri Nets and Other Models of Concurrency IX","first-page":"62","author":"Cabac","year":"2014"},{"key":"10.1016\/j.scico.2017.12.003_br0230","unstructured":"FIPA, Foundation for Intelligent Physical Agents, FIPA SL Content Language Specification, Dec. 2002."},{"key":"10.1016\/j.scico.2017.12.003_br0240","series-title":"29th International Conference on Application and Theory of Petri Nets","first-page":"399","article-title":"A monitoring toolset for Paose","volume":"vol. 5062","author":"Cabac","year":"2008"},{"key":"10.1016\/j.scico.2017.12.003_br0250","series-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering","first-page":"124","article-title":"Integrating verification into the PAOSE approach","volume":"vol. 723","author":"Hewelt","year":"2011"},{"key":"10.1016\/j.scico.2017.12.003_br0260","unstructured":"M. Wincierz, A tool chain for test-driven development of reference net software components in the context of CAPA agents, in: Moldt et al. [37], pp. 197\u2013214."},{"year":"2014","series-title":"BPMN-Modelle f\u00fcr petrinetzbasierte agentenorientierte Softwaresysteme auf Basis von Mulan\/Capa","author":"Haustermann","key":"10.1016\/j.scico.2017.12.003_br0270"},{"key":"10.1016\/j.scico.2017.12.003_br0280","article-title":"Konzeptionelle Modellierung von Plugin-Systemen mit Petrinetzen","volume":"vol. 4","author":"Duvigneau","year":"2010"},{"key":"10.1016\/j.scico.2017.12.003_br0290","series-title":"Tool Demonstrations, 24th International Conference on Application and Theory of Petri Nets (ATPN 2003), International Conference on Business Process Management (BPM 2003)","first-page":"99","article-title":"Renew \u2013 the Reference Net Workshop","author":"Kummer","year":"2003"},{"key":"10.1016\/j.scico.2017.12.003_br0300","series-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering","first-page":"181","article-title":"PetriPad \u2013 a collaborative Petri net editor","volume":"vol. 851","author":"Burkhart","year":"2012"},{"year":"2009","series-title":"Coloured Petri Nets \u2013 Modelling and Validation of Concurrent Systems","author":"Jensen","key":"10.1016\/j.scico.2017.12.003_br0310"},{"key":"10.1016\/j.scico.2017.12.003_br0320","series-title":"Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency","first-page":"400","article-title":"CPN tools 4: multi-formalism and extensibility","volume":"vol. 7927","author":"Westergaard","year":"2013"},{"key":"10.1016\/j.scico.2017.12.003_br0330","series-title":"Proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency","first-page":"123","article-title":"PetriDotNet 1.5: extensible Petri net editor and analyser for education and research","volume":"vol. 9698","author":"V\u00f6r\u00f6s","year":"2016"},{"key":"10.1016\/j.scico.2017.12.003_br0340","series-title":"Proceedings of the 33rd International Conference on Application and Theory of Petri Nets","first-page":"398","article-title":"Snoopy \u2013 a unifying Petri net tool","volume":"vol. 7347","author":"Heiner","year":"2012"},{"key":"10.1016\/j.scico.2017.12.003_br0350","series-title":"Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency","first-page":"254","article-title":"SNAKES: a flexible high-level Petri nets library","volume":"vol. 9115","author":"Pommereau","year":"2015"},{"key":"10.1016\/j.scico.2017.12.003_br0360","series-title":"Proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency","first-page":"37","article-title":"Faster simulation of (coloured) Petri nets using parallel computing","volume":"vol. 10258","author":"Pommereau","year":"2017"},{"volume":"vol. 1846","year":"2017","series-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering","key":"10.1016\/j.scico.2017.12.003_br0370"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642317302678?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642317302678?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T06:33:28Z","timestamp":1654065208000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642317302678"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":37,"alternative-id":["S0167642317302678"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2017.12.003","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[2018,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Software development with Petri nets and agents: Approach, frameworks and tool set","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2017.12.003","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2017 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}