{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T09:03:52Z","timestamp":1760346232886},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540538639"},{"type":"electronic","value":"9783540463696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53863-1_30","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:14:26Z","timestamp":1330208066000},"page":"313-341","source":"Crossref","is-referenced-by-count":53,"title":["Hierarchies in coloured petri nets"],"prefix":"10.1007","author":[{"given":"Peter","family":"Huber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Jensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Shapiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"12_CR1","unstructured":"K. Albrect, K. Jensen & R.M. Shapiro: CPN Palette. A Tool Package Supporting the Use of Coloured Petri Nets. The Petri Net Newsletter, April 1989."},{"key":"12_CR2","volume-title":"Specification paper for the CPN Palette \u2014 Part 1","author":"K. Jensen","year":"1989","unstructured":"K. Jensen: CPN ML. Specification paper for the CPN Palette \u2014 Part 1. Meta Software Corporation, Cambridge, Massachusetts, USA, 1989."},{"key":"12_CR3","volume-title":"Specification paper for the CPN Palette \u2014 Part 2","author":"P. Huber","year":"1989","unstructured":"P. Huber: Hierarchies in Coloured Petri Nets. Specification paper for the CPN Palette \u2014 Part 2. Meta Software Corporation, Cambridge, Massachusetts, USA, 1989."},{"key":"12_CR4","volume-title":"Specification paper for the CPN Palette \u2014 Part 3","author":"K. Jensen","year":"1989","unstructured":"K. Jensen and S. Christensen: CPN Editor. Specification paper for the CPN Palette \u2014 Part 3. Meta Software Corporation, Cambridge, Massachusetts, USA, 1989."},{"key":"12_CR5","volume-title":"Specification paper for the CPN Palette \u2014 Part 4","author":"K. Jensen","year":"1989","unstructured":"K. Jensen and S. Christensen: CPN Simulator. Specification paper for the CPN Palette \u2014 Part 4. Meta Software Corporation, Cambridge, Massachusetts, USA, 1989."},{"key":"12_CR6","first-page":"207","volume":"255","author":"W. Reisig","year":"1987","unstructured":"W. Reisig: Petri Nets in Software Engineering. In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Applications and Relationship to Other Models of Concurrency, Advances in Petri Nets 1986-Part II, Lecture Notes in Computer Science, vol. 255, Springer-Verlag 1987, 207\u2013247.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR7","first-page":"207","volume":"255","author":"H. Oberquelle","year":"1987","unstructured":"H. Oberquelle: Human-machine Interaction and Role\/Function\/Action Nets. In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986-Part II, Lecture Notes in Computer Science, vol. 255, Springer-Verlag 1987, 207\u2013247.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"H.J. Genrich and K. Lautenbach: System Modelling with High-level Petri Nets Theoretical Computer Science 13. 1981, 109\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-47919-2_9","volume":"254","author":"H.J. Genrich","year":"1987","unstructured":"H.J. Genrich: Predicate\/Transition Nets In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I, Lecture Notes in Computer Science, vol. 254, Springer-Verlag 1987, 207\u2013247.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR10","first-page":"395","volume-title":"Proceedings of the 5'th International Conference on Systems Engineering, Dayton","author":"K. Jensen","year":"1987","unstructured":"K. Jensen: Coloured Petri Nets. A Way to Describe and Analyse Real World Systems \u2014 Without Drowning in Unnecessary Details. Proceedings of the 5'th International Conference on Systems Engineering, Dayton 1987, New York: IEEE, 395\u2013401."},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-3-540-47919-2_10","volume":"254","author":"K. Jensen","year":"1987","unstructured":"K. Jensen: Coloured Petri Nets. In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I, Lecture Notes in Computer Science, vol. 254, Springer-Verlag 1987, 248\u2013299.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"K. Jensen: Informal Introduction to Coloured Petri Nets. Chapter 1 of a three-volume book on CP-nets. The book will be published by Springer-Verlag in the series: EATCS Monographs on Theoretical Computer Science.","DOI":"10.1007\/978-3-662-03241-1_1"},{"key":"12_CR13","volume-title":"SADT","author":"D.A. Marca","year":"1988","unstructured":"D.A. Marca and C.L. McGowan: SADT. McGraw-Hill, New York, 1988."},{"key":"12_CR14","unstructured":"E. Yourdon: Managing the System Life Cycle. Yourdon Press, 1982."},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel: Statecharts: A Visual Formalism for Complex Systems. In: Science of Computer Programming, Vol. 8, North-Holland 1987, 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"12_CR16","first-page":"248","volume":"84","author":"H.J. Genrich","year":"1980","unstructured":"H.J. Genrich, K. Lautenbach and P.S. Thiagarajan: Elements of General Net Theory. In: G. Goos and J. Hartmanis (eds.): Net Theory and Applications, Lecture Notes in Computer Science, vol. 84, Springer-Verlag 1980, 248\u2013299.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR17","unstructured":"R.M. Shapiro and P. Hardt: The Impact of Computer Technology. A Case Study: The Dairy Industry. GMD Internal Report, ISF-76-11, 1976."},{"key":"12_CR18","unstructured":"R.R. Razouk and M.T. Rose: Verifying Partial Correctness of Concurrent Software using Contour\/Transition Nets. In: Proceedings of the Hawaii International Conference on System Sciences, 1986."},{"key":"12_CR19","unstructured":"H.J. Genrich and R.M. Shapiro: A Diagram Editor for Line Drawing with Inscriptions. Proceedings of the 3'rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, 1982, 193\u2013212."},{"key":"12_CR20","unstructured":"Network Tool Net: System Analysis and Simulation with Petri-Nets. PSI Gesellschaft f\u00fcr Prozessteuerungs-und Informationssysteme, Berlin, undated, 23 pages."},{"key":"12_CR21","unstructured":"H. Oberquelle: Some Concepts for Studying Flow and Modification of Actors and Objects in High-level Nets. Proceedings of the 3'rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, 1982, 343\u2013363."},{"key":"12_CR22","unstructured":"A. Kiehn: A Structuring Mechanism for Petri Nets. Institut f\u00fcr Informatik der Technischen Universit\u00e4t M\u00fcnchen, 1988, 127 pages."},{"key":"12_CR23","unstructured":"K.M. van Hee, L.J. Somers, and M. Voorhoeve: Executable Specifications for Distributed Information Systems. In: E.D. Falkenberg and P. Lindgreen (eds.): Information System Concepts: An In-depth Analysis, North Holland, 1989, 139\u2013156"},{"key":"12_CR24","unstructured":"B. Cousin et. al.: Validation of a Protocol Managing a Multi-token Ring Architecture. Proceedings of the 9'th European Workshop on Applications and Theory of Petri Nets, Vol. II, Venice 1988."},{"key":"12_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-18086-9_17","volume":"266","author":"C. Girault","year":"1987","unstructured":"C. Girault, C. Chatelain and S. Haddad: Specification and Properties of a Cache Coherence Protocol Model. In: G. Rozenberg (ed.): Advanced in Petri Nets 1987, Lecture Notes of Computer Science, vol. 266, Springer-Verlag, 1987, 1\u201320.","journal-title":"Lecture Notes of Computer Science"},{"key":"12_CR26","unstructured":"S. Haddad.: Generalization of Reduction Theory to Coloured Nets. Proceedings of the 9'th European Workshop on Applications and Theory of Petri Nets, Vol. II, Venice 1988."},{"key":"12_CR27","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0304-3975(86)90046-0","volume":"45","author":"P. Huber","year":"1986","unstructured":"P. Huber, A.M. Jensen, L.O. Jepsen and K. Jensen: Reachability Trees for High-level Petri Nets. Theoretical Computer Science 45 (1986), 261\u2013292.","journal-title":"Theoretical Computer Science"},{"key":"12_CR28","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-10856-4_100","volume":"118","author":"K. Jensen","year":"1981","unstructured":"K. Jensen: How to Find Invariants for Coloured Petri Nets. In: J. Gruska, M. Chytill (eds.): Mathematical Foundations of Computer Science 1981, Lecture Notes in Computer Science vol. 118, Springer-Verlag 1981, 327\u2013338.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1990"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53863-1_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:06Z","timestamp":1605646266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53863-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540538639","9783540463696"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-53863-1_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}