{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:54:50Z","timestamp":1725576890189},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205388"},{"type":"electronic","value":"9783540400226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40022-6_4","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T14:15:31Z","timestamp":1296137731000},"page":"66-82","source":"Crossref","is-referenced-by-count":2,"title":["Four Steps Towards Sound Business Process Models"],"prefix":"10.1007","author":[{"given":"Juliane","family":"Dehnert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azema, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Berlin (1997)"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"10","key":"4_CR3","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W.M.P. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.P.: Formalization and Verification of Event-driven Process Chains. Information and Software Technology\u00a041(10), 639\u2013650 (1999)","journal-title":"Information and Software Technology"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/10722620_2","volume-title":"Cooperative Information Systems","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P., Kiepuszewski, B., ter Hofstede, A., Barros, A., Kiepuszewsk, B.: Advanced Workflow Patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol.\u00a01901, pp. 18\u201329. Springer, Heidelberg (2000)"},{"issue":"2","key":"4_CR5","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"N.R. Adam","year":"1998","unstructured":"Adam, N.R., Atluri, V., Huang, W.-K.: Modeling and Analysis of Workflows Using Petri Net. Journal of Intelligent Information System, Special Issue on Workflow and Process Management\u00a010(2), 131\u2013158 (1998)","journal-title":"Journal of Intelligent Information System, Special Issue on Workflow and Process Management"},{"key":"4_CR6","volume-title":"Uniform Approaches to Graphical Process Specification Techniques(UniGra)","author":"J. Dehnert","year":"2001","unstructured":"Dehnert, J., Gajewsky, M., Lembke, S., Weber, H.: The petri net baukasten: 2nd installment. In: Uniform Approaches to Graphical Process Specification Techniques(UniGra). Satellite workshop to European Joint Conferences on Theory and Practice of Software (ETAPS), Genova, Italy, Springer, Heidelberg (2001)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-45341-5_11","volume-title":"Advanced Information Systems Engineering","author":"J. Dehnert","year":"2001","unstructured":"Dehnert, J., Rittgen, P.: Relaxed Soundness of Business Processes. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 157\u2013170. Springer, Heidelberg (2001)"},{"key":"4_CR8","first-page":"155","volume-title":"Proceedings of the Third International Symposium on Cooperative Database Systems and Applications (CODAS 2001)","author":"W. Derks","year":"2001","unstructured":"Derks, W., Dehnert, J., Grefen, P., Jonker, W.: Customized atomicity specification for transactional workflow. In: Lu, H., Spaccapietra, S. (eds.) Proceedings of the Third International Symposium on Cooperative Database Systems and Applications (CODAS 2001), pp. 155\u2013164. IEEE Computer Society, Los Alamitos (2001)"},{"key":"4_CR9","unstructured":"Keller, G., N\u00fcttgens, M. Scheer, A.W.: Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbr\u00fccken (1992)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-69108-1_16","volume-title":"Application and Theory of Petri Nets 1998","author":"P. Langner","year":"1998","unstructured":"Langner, P., Schneider, C., Wehler, J.: Petri net based certification of event driven process chains. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 286\u2013305. Springer, Heidelberg (1998)"},{"key":"4_CR11","unstructured":"Moldt, D., Rodenhagen, J.: Ereignisgesteuerte Prozessketten und Petrinetze zur Modellierung von Workflows. In: Giese, H., Philippi, S. (eds.) Visuelle Verhaltensmodellierung verteilter und nebenl\u00e4ufiger Software-Systeme, Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte SWEntwicklung (in German), vol. 24\/00-I of Fachbericht, pp. 57\u201363 (2000)"},{"issue":"4","key":"4_CR12","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\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc. of the IEEE"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","volume-title":"Semantics of Systems of Concurrent Processes","author":"R. Nicola De","year":"1990","unstructured":"De Nicola, R., Vaandrager, F.: Action versus state based logics for transition systems. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol.\u00a0469, pp. 407\u2013419. Springer, Heidelberg (1990)"},{"key":"4_CR14","unstructured":"Roch, S.: extended Computation Tree Logic. In: Burkhard, H.D., Czaja, L., Skowron, A., Starke, P. (eds.) Workshop Concurrency, Specification & Programming. Informatik-Bericht, vol.\u00a0140, pp. 225\u2013234. Humboldt- Universit\u00e4t zu Berlin (2000)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Rump, F.J.: Gesch\u00e4ftsprozessmanagement auf der Basis ereignisgesteuerter Prozessketten. Formalisierung, Analyse und Ausf\u00fchrung von EPKs (in German). Teubner, Stuttgart (1999)","DOI":"10.1007\/978-3-322-89878-4"},{"key":"4_CR16","volume-title":"Business Process Engineering, ARIS-Navigator for Reference Models for Industrial Enterprises","author":"A.W. Scheer","year":"1994","unstructured":"Scheer, A.W.: Business Process Engineering, ARIS-Navigator for Reference Models for Industrial Enterprises. Springer, Heidelberg (1994)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2000","author":"K. Schmidt","year":"2000","unstructured":"Schmidt, K.: Lola: A low level analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 465\u2013474. Springer, Heidelberg (2000)"},{"issue":"2","key":"4_CR18","first-page":"34","volume":"16","author":"A.P. Sheth","year":"1993","unstructured":"Sheth, A.P., Rusinkiewicz, M.: On transactional workflows. Data Engineering Bulletin\u00a016(2), 34\u201340 (1993)","journal-title":"Data Engineering Bulletin"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/3-540-44988-4_28","volume-title":"Application and Theory of Petri Nets 2000","author":"H.M.W. Verbeek","year":"2000","unstructured":"Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan 2.0: A petri-net-based workflow diagnosis tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 475\u2013484. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Petri Net Technology for Communication-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40022-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,24]],"date-time":"2019-03-24T01:34:30Z","timestamp":1553391270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}