{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:36Z","timestamp":1725663816024},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:34Z","timestamp":1330269634000},"page":"376-395","source":"Crossref","is-referenced-by-count":2,"title":["Modelling the work flow of a nuclear waste management program"],"prefix":"10.1007","author":[{"given":"Kjeld H.","family":"Mortensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valerio","family":"Pinci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"Design\/IDEF User's Manual. Meta Software Corporation. Cambridge, Mass., 1992.","key":"21_CR1"},{"unstructured":"Design\/CPN User's Manual. Meta Software Corporation. Cambridge, Mass., 1992.","key":"21_CR2"},{"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 1990, Lecture Notes in Computer Science Vol. 483, Springer-Verlag 1991, 342\u2013416. Also in [4], 44\u2013122.","key":"21_CR3","DOI":"10.1007\/3-540-53863-1_31"},{"doi-asserted-by":"crossref","unstructured":"K. Jensen and G. Rozenberg (eds.): High Level Petri Nets, Springer-Verlag, 1991.","key":"21_CR4","DOI":"10.1007\/978-3-642-84524-6"},{"unstructured":"K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992.","key":"21_CR5"},{"key":"21_CR6","volume-title":"SADT","author":"D.A. Marca","year":"1988","unstructured":"D.A. Marca, C.L. McGowan: SADT. McGraw-Hill, New York, 1988."},{"unstructured":"R. Milner, M. Tofte & R. Harper (1990). The Definition of Standard ML. MIT Press.","key":"21_CR7"},{"unstructured":"L.C. Paulson: ML for the Working Programmer. Cambridge University Press, 1991.","key":"21_CR8"},{"unstructured":"V.O. Pinci, R.M. Shapiro: An Integrated Software Development Methodology Based on Hierarchical Coloured Petri Nets. In: G. Rozenberg (ed.): Advances in Petri Nets 1991, Lecture Notes in Computer Science Vol. 524, Springer-Verlag, 1991, 227\u2013252. Also in [4], 649\u2013666.","key":"21_CR9"},{"key":"21_CR10","volume-title":"Work Flow Analysis","author":"V.O. Pinci","year":"1993","unstructured":"V.O. Pinci, R.M. Shapiro: Work Flow Analysis. Meta Software Corporation. Cambridge, Mass., 1993."},{"doi-asserted-by":"crossref","unstructured":"R.M. Shapiro, V.O. Pinci, R. Mameli: Modelling a NORAD Command Post Using SADT and Coloured Petri Nets. In: P.E. Lauer (ed.): Functional Programming, Concurrency, Simulation and Automated Reasoning, Lecture Notes in Computer Science Vol. 693, Springer-Verlag, 1993.","key":"21_CR11","DOI":"10.1007\/3-540-56883-2_5"}],"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_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:22Z","timestamp":1605647842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}