{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:02:48Z","timestamp":1774915368454,"version":"3.50.1"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45341-5_11","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:33:42Z","timestamp":1188297222000},"page":"157-170","source":"Crossref","is-referenced-by-count":51,"title":["Relaxed Soundness of Business Processes"],"prefix":"10.1007","author":[{"given":"Juliane","family":"Dehnert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Rittgen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"11_CR1","series-title":"Lect Notes Comput Sci","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W. M. P. Aalst van der","year":"1997","unstructured":"Aalst, W. M. P. van der: Verification of Workflow Nets. In: P. Azema and G. Balbo: Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science, vol. 1248, Springer, Berlin, 1997, pp. 407\u2013426"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. M. P. Aalst van der","year":"1998","unstructured":"Aalst, W. M. P. van der: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8 (1) 1998, pp. 21\u201366","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"11_CR3","series-title":"Computing Science Reports","volume-title":"Formalization and Verification of Event-driven Process Chains","author":"W. M. P. Aalst van der","year":"1998","unstructured":"Aalst, W. M. P. van der: Formalization and Verification of Event-driven Process Chains. Computing Science Reports 98\/01, Eindhoven University of Technology, Eindhoven, 1998."},{"key":"11_CR4","volume-title":"Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik, Heft 107 (in German)","author":"R. Chen","year":"1994","unstructured":"Chen, R., Scheer, A.-W.: Modellierung von Prozessketten mittels Petri-Netz-Theorie. Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik, Heft 107 (in German), University of Saarland, Saarbr\u00fccken, 1994"},{"key":"11_CR5","unstructured":"Derks, W., Dehnert, J., Grefen, P. and Jonker, W.: Customized atomicity specification for transactional workflow. In: Cooperative Database Systems for Advanced Applications (CODAS\u201901), 2001, To appear"},{"key":"11_CR6","volume-title":"SAP R\/3 proze\u00dforientiert anwenden: iteratives Proze\u00df-Prototyping zur Bildung von Wertsch\u00f6pfungsketten","author":"G. Keller","year":"1997","unstructured":"Keller, G. and Teufel, T.: SAP R\/3 proze\u00dforientiert anwenden: iteratives Proze\u00df-Prototyping zur Bildung von Wertsch\u00f6pfungsketten. Addison-Wesley, Bonn, 1997."},{"key":"11_CR7","unstructured":"Schmidt, K.: LoLA, a Low Level Petri Net Analyzer. Humboldt-Universit\u00e4t, Berlin. \n                  http:\/\/www.informatik.hu-berlin.de\/~kschmidt\/lola.htm"},{"key":"11_CR8","unstructured":"Langner, P., Schneider, C, Wehler, J.: Ereignisgesteuerte Prozessketten und Petrinetze. Report No. 196, Computer Science Department, University of Hamburg, FBI-HH-B-196\/97, March 1997."},{"key":"11_CR9","first-page":"57","volume":"24\/00-I","author":"D. Moldt","year":"2000","unstructured":"Moldt, D., Rodenhagen, J.: Ereignisgesteuerte Prozessketten und Petrinetze zur Modellierung von Workflows. In: Visuelle Verhaltensmodellierung verteilter und nebenl\u00e4ufiger Software-Systeme, vol. 24\/00-I, M\u00fcnster, 2000, pp. 57\u201363.","journal-title":"Visuelle Verhaltensmodellierung verteilter und nebenl\u00e4ufiger Software-Systeme"},{"issue":"4","key":"11_CR10","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis, and Applications. Proc. of the IEEE, 77 (4) 1989, pp. 541\u2013580","journal-title":"Proc. of the IEEE"},{"key":"11_CR11","unstructured":"Rittgen, P.: EMC-A Modeling Method for Developing Web-based Applications. International Conference of the International Resources Management Association (IRMA) 2000, Anchorage, Alaska, USA, May 21\u201324, 2000"},{"key":"11_CR12","first-page":"225","volume-title":"Workshop Concurrency, Specification & Programming","author":"S. Roch","year":"2000","unstructured":"Roch, S.: Extended Computation Tree Logic. In: H. D. Burkhard, L. Czaja, A. Skowron and P. Starke: Workshop Concurrency, Specification & Programming, Informatik-Bericht 140, Humboldt-Universit\u00e4t, Berlin, Oct. 2000, pp. 225\u2013234."},{"key":"11_CR13","unstructured":"Rodenhagen, J.: Darstellung ereignisgesteuerter Prozessketten (EPK) mit Hilfe von Petrinetzen. Diplomarbeit, Universit\u00e4t Hamburg, Fachbereich Informatik, 1996."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Rump, F.: Gesch\u00e4ftsproze\u00dfmanagement auf der Basis ereignisgesteuerter Proze\u00dfketten. Formalisierung, Analyse und Ausf\u00fchrung von EPKs. Teubner, Stuttgart, 1999","DOI":"10.1007\/978-3-322-89878-4"},{"key":"11_CR15","volume-title":"Business Process Engineering, Reference Models for Industrial Enterprises","author":"A.-W. Scheer","year":"1994","unstructured":"Scheer, A.-W.: Business Process Engineering, Reference Models for Industrial Enterprises. Springer, Berlin, 1994"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45341-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T23:08:55Z","timestamp":1550876935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45341-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783319981765","9783319981772"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45341-5_11","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001]]}}}