{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T22:27:26Z","timestamp":1743460046277},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_8","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T18:49:31Z","timestamp":1283712571000},"page":"117-136","source":"Crossref","is-referenced-by-count":0,"title":["On the Use of Coloured Petri Nets for Object-Oriented Design"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Paulo","family":"Barros","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"8_CR2","unstructured":"Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in coloured Petri nets. In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, Bonn, Germany, pp. 192\u2013209 (1989)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Advances in Petri Nets 1990","author":"W. Brauer","year":"1991","unstructured":"Brauer, W., Gold, R., Vogler, W.: A survey of behaviour and equivalence preserving refinements of Petri nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 1\u201346. Springer, Heidelberg (1991)"},{"key":"8_CR4","unstructured":"Fehling, R.: A concept of hierarchical Petri nets with building blocks. In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, Gjern, Denmark, pp. 370\u2013389 (1991)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1002\/spe.4380210806","volume":"21","author":"X. He","year":"1991","unstructured":"He, X., Lee, J.A.N.: A methodology for constructing predicate transition net specifications. Software\u2013Practice and Experience\u00a021, 845\u2013875 (1991)","journal-title":"Software\u2013Practice and Experience"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Christensen, S., Hansen, N.D.: Coloured Petri nets extended with channels for synchronous communication. Daimi PB-390 (1992)","DOI":"10.7146\/dpb.v21i390.6625"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-55676-1_7","volume-title":"Application and Theory of Petri Nets 1992","author":"S. Christensen","year":"1992","unstructured":"Christensen, S., Petrucci, L.: Towards a modular analysis of coloured Petri nets. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol.\u00a0616, pp. 113\u2013133. Springer, Heidelberg (1992)"},{"key":"8_CR8","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","volume-title":"Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science. An EATCS Series, vol.\u00a01-3. Springer, Berlin (1992)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-63139-9_29","volume-title":"Application and Theory of Petri Nets 1997","author":"C.A. Lakos","year":"1997","unstructured":"Lakos, C.A.: On the abstraction of coloured Petri nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 42\u201361. Springer, Heidelberg (1997)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.: On structuring mechanisms for Petri nets based system design. In: Proceedings of the 2003 IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2003), pp. 431\u2013438. IEEE Catalog Number: 03TH8696 (2003)","DOI":"10.1109\/ETFA.2003.1248731"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets","year":"2001","unstructured":"Agha, G.A., De Cindio, F., Rozenberg, G. (eds.): APN 2001. LNCS, vol.\u00a02001. Springer, Heidelberg (2001)"},{"key":"8_CR12","unstructured":"OMG: Unified modeling language specification, version 1.5. (2003), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/03-03-01 (unified Modeling Language, v1.5, Object Management Group)"},{"key":"8_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri nets: an Introduction. Springer, New York, Inc. (1985)"},{"key":"8_CR14","volume-title":"Objects, Components, and Frameworks With UML: The Catalysis Approach","author":"D.F. D\u2019Souza","year":"1998","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks With UML: The Catalysis Approach. Addison Wesley Longman, Amsterdam (1998)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-45397-0_16","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"C. Maier","year":"2001","unstructured":"Maier, C., Moldt, D.: Object coloured Petri nets \u2013 a formal technique for object oriented modelling. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 406\u2013427. Springer, Heidelberg (2001)"},{"key":"8_CR16","volume-title":"Proceedings of the 3rd International Conference on Application of Concurrency to System Design","author":"J. Barros","year":"2003","unstructured":"Barros, J., Gomes, L.: Modifying Petri net models by means of crosscutting operations. In: Proceedings of the 3rd International Conference on Application of Concurrency to System Design. IEEE Computer Society, Los Alamitos (2003)"},{"key":"8_CR17","unstructured":"CPN Tools (2004), http:\/\/wiki.daimi.au.dk\/cpntools"},{"key":"8_CR18","unstructured":"Design\/CPN (2004), http:\/\/www.daimi.au.dk\/designCPN\/"},{"key":"8_CR19","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45499-3_33","volume-title":"Algebraic Methodology and Software Technology","author":"C. Fischer","year":"2000","unstructured":"Fischer, C., Wehrheim, H.: Behavioural subtyping relations for object-oriented formalisms. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, p. 469. Springer, Heidelberg (2000)"},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1109\/TSE.2002.1033228","volume":"28","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kupferman, O.: On object systems and behavioral inheritance. IEEE Transactions on Software Engineering\u00a028, 889\u2013903 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-63139-9_30","volume-title":"Application and Theory of Petri Nets 1997","author":"W. Aalst van der","year":"1997","unstructured":"van der Aalst, W., Basten, T.: Life-cycle inheritance - a Petri-net-based approach. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 62\u201381. Springer, Heidelberg (1997)"},{"key":"8_CR23","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-0-387-35562-7_6","volume-title":"Formal Methods for Open Object-based Distributed Systems (FMOODS 1999)","author":"C. Balzarotti","year":"1999","unstructured":"Balzarotti, C., de Cindio, F., Pomello, L.: Observation equivalences for the semantics of inheritance. In: Formal Methods for Open Object-based Distributed Systems (FMOODS 1999), pp. 67\u201382. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-45221-8_11","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"F. Steimann","year":"2003","unstructured":"Steimann, F., G\u00f6\u00dfner, J., M\u00fcck, T.: On the key role of compositioning objectoriented modelling. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 106\u2013120. Springer, Heidelberg (2003)"},{"key":"8_CR25","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"99","DOI":"10.5381\/jot.2003.2.1.a3","volume":"2","author":"G. G\u00e9nova","year":"2003","unstructured":"G\u00e9nova, G., Llorens, J., Palacios, V.: Sending messages in UML. Journal of Object Tecnology\u00a02, 99\u2013115 (2003)","journal-title":"Journal of Object Tecnology"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:25:47Z","timestamp":1619997947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}