{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:39Z","timestamp":1725488139016},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646778"},{"type":"electronic","value":"9783540691082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_16","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:45:11Z","timestamp":1186425911000},"page":"286-305","source":"Crossref","is-referenced-by-count":20,"title":["Petri Net Based Certification of Event-Driven Process Chains"],"prefix":"10.1007","author":[{"given":"Peter","family":"Langner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Wehler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"16_CR1","series-title":"Lect Notes Comput Sci","first-page":"62","volume-title":"Application and Theory of Petri Nets 1997","author":"Aal1997","year":"1997","unstructured":"Aal1997. Van der Aalst, Wil M.P.: Verification of Workflow Nets. In: Az\u00e9ma, Pierre; Balbo, Gianfranco (Eds.): Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science 1248. Springer, Berlin et al. 1997, p. 62\u201381"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01888220","volume":"2","author":"E. Best","year":"1990","unstructured":"BD1990. Best, Eike; Desel, J\u00f6rg: Partial order behavior and structure of Petri nets. Formal aspects of computing 2 (1990), p. 123\u2013138","journal-title":"Formal aspects of computing"},{"key":"16_CR3","unstructured":"Br\u00f61996. Br\u00f6ker, Axel: Transformation ereignisgesteuerter Proze\u00dfketten in Pr\u00e4dikat-Transitions-Netze sowie Vergleich der Modellierungstools ARIS-Toolset und INCOME. Diplomarbeit FH Pforzheim, Hochschule f\u00fcr Gestaltung, Technik und Wirtschaft. Pforzheim 1996"},{"key":"16_CR4","unstructured":"CS1994. Chen, R.; Scheer, August-Wilhelm: Modellierung von Proze\u00dfketten mittels Petri-Netz Theorie. Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik, Heft 107, Saarbr\u00fccken 1994"},{"key":"16_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free choice Petri nets","author":"J. Desel","year":"1995","unstructured":"DE1995. Desel, J\u00f6rg; Esparza, Javier: Free choice Petri nets. Cambridge University Press, Cambridge 1995"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(84)90137-3","volume":"30","author":"H. Genrich","year":"1984","unstructured":"GT1984. Genrich, Hartmann; Thiagarajan, Pazhamaneri: A Theory of Bipolar Synchronization Schemes. Theoretical Computer Science 30 (1984), p. 241\u2013318","journal-title":"Theoretical Computer Science"},{"key":"16_CR7","volume-title":"Colored Petri Nets. Basis Concepts, Analysis Methods and Practical Use","author":"Jen1992","year":"1992","unstructured":"Jen1992. Jensen, Kurt: Colored Petri Nets. Basis Concepts, Analysis Methods and Practical Use. Springer, Berlin et al. 1992"},{"key":"16_CR8","unstructured":"KNS1991. Keller, Gerhard; N\u00fcttgens, Markus; Scheer, August-Wilhelm: Semantische Proze\u00dfmodellierung auf der Grundlage \u201cEreignisgesteuerter Proze\u00dfketten (EPK)\u201d. Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik, Heft 89, Saarbr\u00fccken 1991"},{"key":"16_CR9","unstructured":"LSW1997a. Langner, Peter; Schneider, Christoph; Wehler, Joachim: Ereignisgesteuerte Proze\u00dfketten und Petri-Netze. Universit\u00e4t Hamburg, Fachbereich Informatik, Bericht Nr. 196, FBI-HH-B-196\/97, 1997"},{"key":"16_CR10","unstructured":"LSW1997b. Langner, Peter; Schneider, Christoph; Wehler, Joachim: Relating Eventdriven Process Chains to Boolean Petri Nets. Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Bericht 9707, 1997"},{"key":"16_CR11","volume-title":"Koordiniert-dezentrales Informationsmanagement: Rahmenkonzept-Koordinationsmodelle-Werkzeug-Shell","author":"N\u00fct1995","year":"1995","unstructured":"N\u00fct1995. N\u00fcttgens, Markus: Koordiniert-dezentrales Informationsmanagement: Rahmenkonzept-Koordinationsmodelle-Werkzeug-Shell. Gabler, Wiesbaden 1995"},{"key":"16_CR12","volume-title":"Darstellung ereignisgesteuerter Proze\u00dfketten (EPK) mit Hilfe von Petrinetzen","author":"Rod1997","year":"1997","unstructured":"Rod1997. Rodenhagen, J\u00f6rg: Darstellung ereignisgesteuerter Proze\u00dfketten (EPK) mit Hilfe von Petrinetzen. Diplomarbeit, Universit\u00e4t Hamburg, Fachbereich Informatik, Hamburg 1997"},{"key":"16_CR13","unstructured":"SAP1996a. SAP: CA R\/3 Reference Model. R\/3 System Release 3.0. (Product documentation), Walldorf 1996"},{"key":"16_CR14","unstructured":"SAP1996b. SAP: SAP Business Workflow. R\/3 System Release 3.0. (Product documentation), Walldorf 1996"},{"key":"16_CR15","volume-title":"Business Processes Engineering. Reference Models for Industrial Enterprises","author":"Sch1994","year":"1994","unstructured":"Sch1994. Scheer, August-Wilhelm: Business Processes Engineering. Reference Models for Industrial Enterprises. Springer, Berlin et al. 2nd 1994"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T21:34:30Z","timestamp":1548365670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}