{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:09:57Z","timestamp":1725480597644},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678229"},{"type":"electronic","value":"9783540449317"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720123_6","type":"book-chapter","created":{"date-parts":[[2007,2,26]],"date-time":"2007-02-26T07:55:37Z","timestamp":1172476537000},"page":"46-54","source":"Crossref","is-referenced-by-count":0,"title":["AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?"],"prefix":"10.1007","author":[{"given":"Gisbert","family":"Dittrich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Fehling, R.: Hierarchische Petrinetze. Verlag Dr. Kovac, Hamburg (1992) (in german)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-56689-9_43","volume-title":"Advances in Petri Nets 1993","author":"R. Fehling","year":"1993","unstructured":"Fehling, R.: A Concept of Hierarchical Petri Nets with Building Blocks. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol.\u00a0674, pp. 148\u2013168. Springer, Heidelberg (1993)"},{"key":"6_CR3","series-title":"EATCS Monographs on TCS","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. EATCS Monographs on TCS. Springer, Berlin (1992)"},{"key":"6_CR4","unstructured":"Dittrich, G.: Strukturierte Petrinetze (1998) (in German), http:\/\/lrb.cs.uni-dortmund.de\/Lehre\/Petri2_SS98"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Dittrich, G.: Modeling of Complex Systems Using Hierarchically Represented Petri Nets. In: Procs. of IEEE SMC 1995, Vancouver, pp. 2694\u20132699 (1995)","DOI":"10.1109\/ICSMC.1995.538190"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Dittrich, G.: Layering as Means for Structuring Petri Nets. In: Procs. of IEEE SMC 1996, Bejing, pp. 2294\u20132298 (1996)","DOI":"10.1109\/ICSMC.1996.565525"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Dittrich, G.: Towards a Generic Definition of Petri Systems Supporting Abstraction and Views, in: Procs. of IEEE SMC \u00b499, Tokyo, p. I-884 \u2013 I-887(1999)","DOI":"10.1109\/ICSMC.1999.814208"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Dittrich, G.: Tools for Modelling with Petri-Net like Nets. In: Pichler, F., Moreno-D\u00edaz, R. (eds.) EUROCAST 1989. LNCS, vol.\u00a0410. Springer, Heidelberg (1990)","DOI":"10.1007\/3-540-52215-8_17"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petrinetze \u2013 Eine Einf\u00fchrung, 2nd edn. Springer, Hidleberg (1986) (in German)","DOI":"10.1007\/978-3-642-71275-3"},{"key":"6_CR10","unstructured":"Dittrich, G.: Petrinetze - Eine Einf\u00fchrung (1999) (in German), http:\/\/lrb.cs.uni-dortmund.de\/Lehre\/Petri\/"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","year":"1987","unstructured":"Brauer, W., Reisig, W., Rozenberg, G. (eds.): APN 1986. LNCS, vol.\u00a0254. Springer, Heidelberg (1987)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets II: Applications","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01492. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory - EUROCAST\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720123_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T18:58:46Z","timestamp":1556132326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720123_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678229","9783540449317"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/10720123_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}