{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:57:31Z","timestamp":1743062251719,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642003271"},{"type":"electronic","value":"9783642003288"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00328-8_21","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T09:17:14Z","timestamp":1244279834000},"page":"212-223","source":"Crossref","is-referenced-by-count":3,"title":["Business Process Modelling with Continuous Validation"],"prefix":"10.1007","author":[{"given":"Stefan","family":"K\u00fchne","sequence":"first","affiliation":[]},{"given":"Heiko","family":"Kern","sequence":"additional","affiliation":[]},{"given":"Volker","family":"Gruhn","sequence":"additional","affiliation":[]},{"given":"Ralf","family":"Laue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Wynn, M.T., Verbeek, H., van der Aalst, W.M., Edmond, D.: Business process verification - finally a reality! Business Process Management Journal (to appear)"},{"issue":"10","key":"21_CR2","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W.M. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.: Formalization and verification of event-driven process chains. Information & Software Technology\u00a041(10), 639\u2013650 (1999)","journal-title":"Information & Software Technology"},{"key":"21_CR3","unstructured":"Business Process Management Initiative: Business Process Modeling Notation. Technical report, BPMI. org. (2004)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-25970-1_6","volume-title":"Business Process Management","author":"E. Kindler","year":"2004","unstructured":"Kindler, E.: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol.\u00a03080, pp. 82\u201397. Springer, Heidelberg (2004)"},{"key":"21_CR5","unstructured":"Wynn, M.T.: Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins. PhD thesis, Queensland University of Technology, Brisbane (2006)"},{"key":"21_CR6","unstructured":"Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (2007)"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/11431855_26","volume-title":"Advanced Information Systems Engineering","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., van der Aalst, W.M., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 372\u2013386. Springer, Heidelberg (2005)"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.compind.2007.01.001","volume":"58","author":"B.F. Dongen van","year":"2007","unstructured":"van Dongen, B.F., Jansen-Vullers, M., Verbeek, H.M.W., van der Aalst, W.M.: Verification of the sap reference models using epc reduction, state-space analysis, and invariants. Comput. Ind.\u00a058, 578\u2013601 (2007)","journal-title":"Comput. Ind."},{"key":"21_CR9","unstructured":"Langner, P., Schneider, C., Wehler, J.: Relating event-driven process chains to Boolean Petri nets. Report (9707) (December 1997)"},{"issue":"2","key":"21_CR10","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W. Sadiq","year":"2000","unstructured":"Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Information Systems\u00a025(2), 117\u2013134 (2000)","journal-title":"Information Systems"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"van Dongen, B., Mendling, J., van der Aalst, W.: Structural patterns for soundness of business process models. In: EDOC, pp. 116\u2013128 (2006)","DOI":"10.1109\/EDOC.2006.56"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Esparza, J., Silva, M.: Circuits, handles, bridges and nets. In: Applications and Theory of Petri Nets, pp. 210\u2013242 (1989)","DOI":"10.1007\/3-540-53863-1_27"},{"issue":"1","key":"21_CR13","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.: 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"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J. Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through sese decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 43\u201355. Springer, Heidelberg (2007)"},{"key":"21_CR15","unstructured":"N\u00fcttgens, M., Rump, F.J.: Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In: Promise 2002 - Prozessorientierte Methoden und Werkzeuge f\u00fcr die Entwicklung von Informationssystemen, pp. 64\u201377 (2002)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Gruhn, V., Laue, R.: Checking properties of business process models with logic programming. In: MSVVEIS 2007, pp. 84\u201393. INSTICC Press (2007)","DOI":"10.5220\/0002413100840093"},{"key":"21_CR17","unstructured":"Gruhn, V., Laue, R.: Good and bad excuses for unstructured business process models. In: Proceedings of 12th European Conference on Pattern Languages of Programs (EuroPLoP 2007) (2007)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00328-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T00:05:43Z","timestamp":1739145943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00328-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642003271","9783642003288"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00328-8_21","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}