{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T16:47:43Z","timestamp":1779036463363,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540581529","type":"print"},{"value":"9783540484622","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:21:36Z","timestamp":1330251696000},"page":"119-138","source":"Crossref","is-referenced-by-count":20,"title":["Hierarchical High Level Petri Nets for complex system analysis"],"prefix":"10.1007","author":[{"given":"Peter","family":"Buchholz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"8_CR1","unstructured":"J. Billington; Extensions to Coloured Petri Nets; in Proc. of the Third Int. Workshop on Petri Nets and Performance Models, Kyoto 1989."},{"key":"8_CR2","unstructured":"T. Bolognesi, S.A. Smolka; Fundamental Results for the Verification of Observational Equivalence: A Survey; in: H. Rudin, C. West (eds.), Protocol Specification, Testing and Verification VII, North Holland (1987) 165\u2013179."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"W. Brauer, R. Gold, W. Vogler; A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets; in G. Rozenberg (ed.), Advances in Petri Nets 90, LNCS 424, Springer 1990, pp. 1\u201346.","DOI":"10.1007\/3-540-53863-1_19"},{"issue":"no.2","key":"8_CR4","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0743-7315(92)90004-7","volume":"15","author":"P. Buchholz","year":"1992","unstructured":"P. Buchholz; A Hierarchical View of GCSPNs and its Impact on Qualitative and Quantitative Analysis; Journal of Parallel and Distributed Computing, vol. 15, no. 2, July 1992, pp. 207\u2013224.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"P. Buchholz; Hierarchies in Colored GSPNs; in M. Ajmone Marsan (ed.), Application and Theory of Petri Nets 1993, LNCS 691, Springer 1993, pp. 106\u2013125.","DOI":"10.1007\/3-540-56863-8_43"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"G. Chehaibar; Use of Reentrant Nets in Modular Analysis of Colored Nets; in K. Jensen, G. Rozenberg (ed.), High-Level Petri Nets. Theory and Application, Springer 1991.","DOI":"10.1007\/978-3-642-84524-6_23"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"R. Fehling; A Concept of Hierarchical Petri Nets with Building Blocks; in G. Rozenberg (ed.), Advances in Petri Nets 93, LNCS 674, Springer 1993.","DOI":"10.1007\/3-540-56689-9_43"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"H.J. Genrich, K. Lautenbach; System modelling with high-level Petri nets; Theoretical Computer Science, vol. 13, 1981, pp. 109\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"J.F. Groote, F. Moller; Verification of Parallel Systems via Decomposition; in W.R. Cleaveland (ed.), CONCUR 92, LNCS 630, Springer 1992, pp. 62\u201376.","DOI":"10.1007\/BFb0084783"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"M.S. Haddad; A Reduction Theory for colored Nets; in G. Rozenberg (ed.), Advances in Petri Nets 90, LNCS 424, Springer 1990, pp. 209\u2013235.","DOI":"10.1007\/3-540-52494-0_31"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"P. Huber, K. Jensen, R.M. Shapiro; Hierarchies in colored Petri Nets; in G. Rozenberg (ed.), Advances in Petri Nets 90, LNCS 483, Springer 1990, pp. 313\u2013341.","DOI":"10.1007\/3-540-53863-1_30"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"K. Jensen; Coloured Petri Nets and the invariant-method; Theoretical Computer Science, Vol. 14, 1981, pp. 317\u2013336","journal-title":"Theoretical Computer Science"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"K. Jensen; Coloured Petri Nets: A High Level Language for System Design and Analysis; in G. Rozenberg (ed.), Advances in Petri Nets 90, LNCS 483, Springer 1990, pp. 342\u2013416.","DOI":"10.1007\/3-540-53863-1_31"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1109\/TSE.1984.5010246","volume":"10","author":"S.S. Lam","year":"1984","unstructured":"S.S. Lam, A.U. Shankar; Protocol Verification via Projections; IEEE Trans. on Softw. Eng., Vol. 10, 1984, pp. 325\u2013342.","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"8_CR15","unstructured":"R. Milner; Communication and Concurrency; Prentice Hall, 1989."},{"key":"8_CR16","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"J.L. Peterson; Petri Net Theory and the Modeling of Systems; Prentice Hall, Englewood Cliffs 1981."},{"key":"8_CR17","unstructured":"W. Reisig; Petri Nets, An Introduction; EATCS Monographs on Theoretical Computer Science, Springer 1985."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Y. Souissi, G. Memmi; Composition of Nets via a Communication Medium; in G. Rozenberg (ed.), Advances in Petri Nets 91, LNCS 483, Springer 1992, pp. 457\u2013470.","DOI":"10.1007\/3-540-53863-1_34"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"A. Valmari, M. Clegg; Reduced Labelled Transition Systems Save Verification Effort; in W.R. Cleaveland (ed.), CONCUR 91, LNCS 527, Springer 1991, pp. 526\u2013540.","DOI":"10.1007\/3-540-54430-5_111"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"A. Valmari; Compositional State Space Generation; in G. Rozenberg (ed.), Advances in Petri Nets 93, LNCS 674, Springer 1993, pp. 427\u2013457.","DOI":"10.1007\/3-540-56689-9_54"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:17:30Z","timestamp":1605629850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}