{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:26:37Z","timestamp":1725488797572},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540674542"},{"type":"electronic","value":"9783540455943"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45594-9_8","type":"book-chapter","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T01:17:04Z","timestamp":1186535824000},"page":"110-128","source":"Crossref","is-referenced-by-count":26,"title":["Validation of Process Models by Construction of Process Nets"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Desel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"E. Best and C. Fernandez C: Nonsequential Processes. Springer-Verlag (1988)","DOI":"10.1007\/978-3-642-73483-0"},{"key":"8_CR2","unstructured":"J. Desel, A. Oberweis and T. Zimmer: Simulation based analysis of distributed information system behavior. 8th European Simulation Symposium ESS96, Genua, pp. 319\u2013323 (1996)"},{"key":"8_CR3","unstructured":"J. Desel, T. Freytag and A. Oberweis: Prozesse, Simulation und Eigenschaften netzmodellierter Systeme. Entwurf komplexer Automatisierungssysteme, Braunschweig, pp. 141\u2013161 (1997)"},{"key":"8_CR4","unstructured":"J. Desel, T. Freytag and A. Oberweis: Causal semantic based simulation and validation of high-level Petri nets. 11th European Simulation Multiconference, Istanbul, pp. 826\u2013830 (1997)"},{"key":"8_CR5","first-page":"351","volume-title":"15th IMACS World Congress","author":"J. Desel","year":"1997","unstructured":"J. Desel, T. Freytag, A. Oberweis and T. Zimmer: A partial-order based simulation and validation approach for high-level Petri nets. 15th IMACS World Congress, Berlin. Volume 4. Wissenschaft und Technik Verlag Berlin, pp. 351\u2013366 (1997)"},{"key":"8_CR6","unstructured":"J. Desel and T. Erwin: Modeling, simulation and analysis of business processes. In this volume."},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","first-page":"122","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Desel","year":"1999","unstructured":"J. Desel and W. Reisig: Place\/transition Petri nets. Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science Vol. 1492, pp. 122\u2013173, Springer-Verlag (1999)"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","volume":"23","author":"J. Esparza","year":"1994","unstructured":"J. Esparza: Model checking using net unfoldings. Science of Computer Programming 23, pp. 151\u2013195 (1994)","journal-title":"Science of Computer Programming"},{"key":"8_CR9","unstructured":"T. Freytag: Ablaufvisualisierung durch topologisch angeordnete Kausalnetze. 6. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze, Oktober 1999, Institut f\u00fcr Wirtschaftsinformatik der Universit\u00e4t Frankfurt \/ Main, pp. 18\u201323 (1999)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"H.J. Genrich and G. Thieler-Mevissen: The Calculus of Facts. Mathematical Foundations of Computer Science, Springer-Verlag, pp. 588\u2013595 (1976)","DOI":"10.1007\/3-540-07854-1_232"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"K. Jensen: Coloured Petri Nets, Vol.1: Basic Concepts. 2nd edition, Springer-Verlag (1995)","DOI":"10.1007\/978-3-662-03241-1_1"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"W. Reisig: Petri Nets \u2014 An Introduction, Springer-Verlag (1985)","DOI":"10.1007\/978-3-642-69968-9"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"W. Reisig: Elements of Distributed Algorithms, Springer-Verlag (1998)","DOI":"10.1007\/978-3-662-03687-7"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45594-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T20:34:06Z","timestamp":1556742846000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45594-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540674542","9783540455943"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45594-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}