{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T22:25:48Z","timestamp":1743459948172},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631392"},{"type":"electronic","value":"9783540691877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63139-9_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:08:56Z","timestamp":1330297736000},"page":"42-61","source":"Crossref","is-referenced-by-count":12,"title":["On the abstraction of coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Charles","family":"Lakos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"4_CR1","unstructured":"E. Battiston, A. Chizzoni, and F. de Cindio Inheritance and Concurrency in CLOWN Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995)."},{"key":"4_CR2","first-page":"717","volume-title":"Class Orientation and Inheritance in Modular Algebraic Nets","author":"E. Battiston","year":"1993","unstructured":"E. Battiston and F. de Cindio Class Orientation and Inheritance in Modular Algebraic Nets Proceedings of IEEE International Conference on Systems, Man and Cybernetics2, pp 717\u2013723, Le Touquet, France, IEEE (1993)."},{"key":"4_CR3","unstructured":"E. Battiston, F. de Cindio, and G. Mauri OBJSA Nets: A Class of High-level Nets having Objects as Domains Advances in Petri Nets 1988, G. Rozenberg (ed.), Lecture Notes in Computer Science 340, pp 20\u201343, Springer-Verlag (1988)."},{"key":"4_CR4","unstructured":"O. Biberstein and D. Buchs Structured Algebraic Nets with Object-Orientation Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995)."},{"key":"4_CR5","unstructured":"D. Buchs and N. Guelfi CO-OPN: A Concurrent Object Oriented Petri Net Approach Proceedings of 12th International Conference on the Application and Theory of Petri Nets, Gjern, Denmark (1991)."},{"key":"4_CR6","unstructured":"D. Buchs and N. Guelfi Open Distributed Programming Using the Object Oriented Specification Formalism CO-OPN Proceedings of 5th International Conference on Putting into Practice Methods and Tools for Information System Design, Nantes (1992)."},{"key":"4_CR7","first-page":"206","volume-title":"Lecture Notes in Computer Science 691","author":"Y. Deng","year":"1993","unstructured":"Y. Deng, S.K. Chang, J.C.A.d. Figueired, and A. Perkusich Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems Proceedings of 14th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 691, pp 206\u2013223, Chicago, Springer-Verlag (1993)."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"J. Desel and A. Merceron Vicinity Respecting Net Morphisms Advances in Petri Nets 1990, G. Rozenberg (ed.), Lecture Notes in Computer Science 483, pp 165\u2013185, Springer-Verlag (1990).","DOI":"10.1007\/3-540-53863-1_25"},{"key":"4_CR9","unstructured":"J. Desel and A. Merceron Vicinity Respecting Homomorphisms for Abstracting System Requirements Report 337, Universit\u00e4t Karlsruhe (1996)."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"R. Fehling A Concept of Hierarchical Petri Nets with Building Blocks Advances in Petri Nets 1993, G. Rozenberg (ed.), Lecture Notes in Computer Science, pp 148\u2013168, Springer-Verlag (1993).","DOI":"10.1007\/3-540-56689-9_43"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"H.J. Genrich Predicate\/Transition Nets Advances in Petri Nets 1986-Part 1, W. Brauer, W. Reisig, and G. Rozenberg (eds.), Lecture Notes in Computer Science 254, Springer-Verlag (1987).","DOI":"10.1007\/978-3-540-47919-2_9"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"P. Huber, K. Jensen, and R.M. Shapiro Hierarchies of Coloured Petri Nets Proceedings of 10th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science 483, pp 313\u2013341, Springer-Verlag (1990).","DOI":"10.1007\/3-540-53863-1_30"},{"key":"4_CR13","unstructured":"K. Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use \u2014 Volume 1: Basic Concepts EATCS Monographs in Computer Science, Vol. 26, Springer-Verlag (1992)."},{"key":"4_CR14","unstructured":"K. Jensen, S. Christensen, P. Huber, and M. Holla Design\/CPNTM: A Reference Manual Meta Software Corporation (1992)."},{"key":"4_CR15","first-page":"338","volume-title":"Lecture Notes in Computer Science 815","author":"C. Lakos","year":"1994","unstructured":"C. Lakos and S. Christensen A General Systematic Approach to Arc Extensions for Coloured Petri Nets Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 338\u2013357, Zaragoza, Springer-Verlag (1994)."},{"key":"4_CR16","first-page":"380","volume-title":"Lecture Notes in Computer Science 1091","author":"C.A. Lakos","year":"1996","unstructured":"C.A. Lakos The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets Proceedings of 17th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1091, pp 380\u2013399, Osaka, Japan, Springer-Verlag (1996)."},{"key":"4_CR17","unstructured":"C.A. Petri \u201cForgotten\u201d Topics of Net Theory Advances in Petri Nets 1986 \u2014 Part 2, W. Brauer, W. Reisig, and G. Rozenberg (eds.), Lecture Notes in Computer Science 255, Springer-Verlag (1986)."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"W. Reisig Petri Nets in Software Engineering Advances in Petri Nets 1986 \u2014 Part 2, W. Brauer, W. Reisig, and G. Rozenberg (eds.), Lecture Notes in Computer Science 255, pp 63\u201396, Springer-Verlag (1987).","DOI":"10.1007\/3-540-17906-2_22"},{"key":"4_CR19","first-page":"210","volume":"6","author":"G. Richter","year":"1983","unstructured":"G. Richter Netzmodelle f\u00fcr die B\u00fcrokommunikation Informatik-Spektrum, 6, pp 210\u2013220 (1983).","journal-title":"Informatik-Spektrum"},{"key":"4_CR20","first-page":"29","volume":"7","author":"G. Richter","year":"1984","unstructured":"G. Richter Netunodelle f\u00fcr die B\u00fcrokommunikation Informatik-Spektrum, 7, pp 29\u201341 (1984).","journal-title":"Informatik-Spektrum"},{"key":"4_CR21","first-page":"377","volume-title":"Lecture Notes in Computer Science 691","author":"C. Sibertin-Blanc","year":"1993","unstructured":"C. Sibertin-Blanc A Client-Server Protocol for the Composition of Petri Nets Proceedings of 14th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 691, pp 377\u2013396, Chicago, Springer-Verlag (1993)."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan Elementary Net Systems Advances in Petri Nets 1986, Part I, W. Brauer, W. Reisig, and G. Rozenberg (eds.), Lecture Notes in Computer Science 254, pp 26\u201359, Springer-Verlag (1987).","DOI":"10.1007\/978-3-540-47919-2_3"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"G. Winskel Petri Nets, Algebras, Morphisms, and Compositionality Information and Computation, 72, pp 197\u2013238 (1987).","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63139-9_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:57Z","timestamp":1605647757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63139-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631392","9783540691877"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-63139-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}