{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:36:15Z","timestamp":1758274575154,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wicsa.2004.1310690","type":"proceedings-article","created":{"date-parts":[[2004,8,13]],"date-time":"2004-08-13T09:09:39Z","timestamp":1092388179000},"page":"57-66","source":"Crossref","is-referenced-by-count":7,"title":["Modeling behavioral patterns of concurrent software architectures using Petri nets"],"prefix":"10.1109","author":[{"given":"R.G.","family":"Pettit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Gomaa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2000.897497"},{"key":"17","article-title":"Towards a coloured petri net profile for the unified modeling","volume":"cot 2 52 v0 1","author":"hansen","year":"2001","journal-title":"Technical Report"},{"key":"18","article-title":"Coloured petri nets in UML-based software development - Designing middleware for pervasive healthcare","author":"j\ufffdrgensen","year":"2002","journal-title":"CP'02"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400100075X"},{"key":"16","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/3-540-45397-0_9","article-title":"On formalizing UML with high-level petri nets","author":"baresi","year":"2001","journal-title":"Concurrent Object-Oriented Programming and Petri Nets Advances in Petri Nets"},{"key":"13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-45397-0_1","article-title":"Object oriented modeling with object petri nets","author":"lakos","year":"2001","journal-title":"Concurrent Object-Oriented Programming and Petri Nets Advances in Petri Nets"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0_16"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(00)00090-6"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(97)00137-8"},{"key":"21","article-title":"Modeling state-dependent objects using colored petri nets","author":"pettit","year":"2001","journal-title":"CPN 01 Workshop on Modeling of Objects Components and Agents"},{"key":"20","article-title":"Validation of dynamic behavior in UML using colored petri nets","author":"pettit","year":"2000","journal-title":"UML 2000"},{"journal-title":"\"DesignCPN \" 4 0 Ed","year":"1999","author":"jensen","key":"22"},{"journal-title":"Design\/CPN Performance Tool Manual","year":"1999","author":"lindstrom","key":"23"},{"journal-title":"Textual Interchange Format for High-level Petri Nets","year":"1998","author":"lyngs\ufffd","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume":"1 3","author":"jensen","year":"1997","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"journal-title":"Analyzing Dynamic Behavior of Concurrent Object-oriented Software Designs","year":"2003","author":"pettit","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271703"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HPC.2000.843524"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2001.973506"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210805"},{"journal-title":"Designing Concurrent Distributed and Real-Time Applications with UML","year":"2000","author":"gomaa","key":"4"},{"key":"9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-45397-0_3","article-title":"Object-oriented nets with algebraic specifications: The CO-OPN\/2 formalism","author":"biberstein","year":"2001","journal-title":"Concurrent Object-Oriented Programming and Petri Nets Advances in Petri Nets"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0_6"}],"event":{"name":"Fourth Working IEEE\/IFIP Conference on Software Architecture (WICSA 2004)","acronym":"WICSA-04","location":"Oslo, Norway"},"container-title":["Proceedings. Fourth Working IEEE\/IFIP Conference on Software Architecture (WICSA 2004)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9167\/29100\/01310690.pdf?arnumber=1310690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T09:29:07Z","timestamp":1497605347000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1310690\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/wicsa.2004.1310690","relation":{},"subject":[]}}