{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:49Z","timestamp":1747806769818},"publisher-location":"Berlin, Heidelberg","reference-count":63,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156175"},{"type":"electronic","value":"9783642156182"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15618-2_7","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T09:23:04Z","timestamp":1284369784000},"page":"61-77","source":"Crossref","is-referenced-by-count":7,"title":["How to Implement a Theory of Correctness in the Area of Business Processes and Services"],"prefix":"10.1007","author":[{"given":"Niels","family":"Lohmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"7_CR1","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. Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-73094-1_28","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., G\u00fcnther, C.W., Mans, R.S., de Medeiros, A.K.A., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W.E., Weijters, A.J.M.M.T.: ProM 4.0: Comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 484\u2013494. Springer, Heidelberg (2007)"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., Hofstede, A.H.M.t.: YAWL: yet another workflow language. Inf. Syst.\u00a030(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"key":"7_CR4","unstructured":"Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. OASIS Standard, OASIS (2007)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"7_CR6","volume-title":"Extreme Programming Explained: Embrace Change","author":"K. Beck","year":"2005","unstructured":"Beck, K.: Extreme Programming Explained: Embrace Change, 2nd edn. Addison-Wesley, Reading (2005)","edition":"2"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0016204","volume-title":"Advances in Petri Nets 1985","author":"G. Berthelot","year":"1986","unstructured":"Berthelot, G., Lri-Iie: Checking properties of nets using transformation. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol.\u00a0222, pp. 19\u201340. Springer, Heidelberg (1986)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri net markup language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"7_CR9","first-page":"181","volume-title":"ACSD 2009","author":"J. Carmona","year":"2009","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: a tool for the synthesis and mining of Petri nets. In: ACSD 2009, pp. 181\u2013185. IEEE, Los Alamitos (2009)"},{"key":"7_CR10","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"3","key":"7_CR11","first-page":"315","volume":"E80-D","author":"J. Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers. Trans. Inf. and Syst.\u00a0E80-D(3), 315\u2013325 (1997)","journal-title":"Trans. Inf. and Syst."},{"issue":"2","key":"7_CR12","first-page":"81","volume":"23","author":"P. Dadam","year":"2009","unstructured":"Dadam, P., Reichert, M.: The ADEPT project: a decade of research and development for robust and flexible process support. Computer Science - R&D\u00a023(2), 81\u201397 (2009)","journal-title":"Computer Science - R&D"},{"key":"7_CR13","first-page":"296","volume-title":"ICWS 2007","author":"G. Decker","year":"2007","unstructured":"Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for modeling choreographies. In: ICWS 2007, pp. 296\u2013303. IEEE, Los Alamitos (2007)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-540-85758-7_29","volume-title":"Business Process Management","author":"G. Decker","year":"2008","unstructured":"Decker, G., Overdick, H., Weske, M.: Oryx - an open modeling platform for the BPM community. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 382\u2013385. Springer, Heidelberg (2008)"},{"key":"7_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11841760_6","volume-title":"Business Process Management","author":"M. Dumas","year":"2006","unstructured":"Dumas, M., Spork, M., Wang, K.: Adapt or perish: Algebra and visual notation for service interface adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 65\u201380. Springer, Heidelberg (2006)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"7_CR18","unstructured":"Fahland, D.: Translating UML2 Activity Diagrams Petri nets for analyzing IBM WebSphere Business Modeler process models. Informatik-Berichte 226, Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany (2008)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-03848-8_19","volume-title":"Business Process Management","author":"D. Fahland","year":"2009","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Business Process Management. LNCS, vol.\u00a05701, pp. 278\u2013293. Springer, Heidelberg (2009)"},{"key":"7_CR20","unstructured":"Berkelaar, M., et al.: lpsolve: Mixed Integer Linear Programming (MILP) Solver, \n                    \n                      http:\/\/lpsolve.sourceforge.net"},{"issue":"1-2","key":"7_CR21","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","volume":"328","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci.\u00a0328(1-2), 19\u201337 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR22","unstructured":"Gierds, C., Mooij, A.J., Wolf, K.: Specifying and generating behavioral service adapter based on transformation rules. Preprint CS-02-08, Universit\u00e4t Rostock, Rostock, Germany (2008)"},{"key":"7_CR23","unstructured":"Gottschalk, K.: Web Services Architecture Overview. IBM whitepaper, IBM developerWorks (2000), \n                    \n                      http:\/\/ibm.com\/developerWorks\/web\/library\/w-ovr"},{"key":"7_CR24","first-page":"273","volume-title":"ACSD","author":"A. Hamez","year":"2006","unstructured":"Hamez, A., Hillah, L., Kordon, F., Linard, A., Paviot-Adet, E., Renault, X., Thierry-Mieg, Y.: New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. In: ACSD, pp. 273\u2013275. IEEE, Los Alamitos (2006)"},{"key":"7_CR25","first-page":"279","volume-title":"ACSD 2006","author":"K.M. Hee van","year":"2006","unstructured":"van Hee, K.M., Oanea, O., Post, R., Somers, L.J., van der Werf, J.M.E.M.: Yasper: a tool for workflow modeling and analysis. In: ACSD 2006, pp. 279\u2013282. IEEE, Los Alamitos (2006)"},{"key":"7_CR26","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"7_CR27","unstructured":"Kaschner, K.: Safira: Implementing set algebra for service behavior. In: CEUR Workshop Proceedings, ZEUS 2010, vol.\u00a0563, pp. 49\u201356. CEUR-WS.org (2010)"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-03848-8_14","volume-title":"Business Process Management","author":"K. Kaschner","year":"2009","unstructured":"Kaschner, K., Wolf, K.: Set algebra for service behavior: Applications and constructions. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 193\u2013210. Springer, Heidelberg (2009)"},{"issue":"3","key":"7_CR29","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B. Kiepuszewski","year":"2003","unstructured":"Kiepuszewski, B., Hofstede, A.H.M.t., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Inf.\u00a039(3), 143\u2013209 (2003)","journal-title":"Acta Inf."},{"key":"7_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/978-3-642-10383-4_44","volume-title":"Service-Oriented Computing","author":"N. Liske","year":"2009","unstructured":"Liske, N., Lohmann, N., Stahl, C., Wolf, K.: Another approach to service instance migration. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC 2009. LNCS, vol.\u00a05900, pp. 607\u2013621. Springer, Heidelberg (2009)"},{"key":"7_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-85758-7_12","volume-title":"Business Process Management","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: Correcting deadlocking service choreographies using a simulation-based graph edit distance. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 132\u2013147. Springer, Heidelberg (2008)"},{"key":"7_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 77\u201391. Springer, Heidelberg (2008)"},{"key":"7_CR33","unstructured":"Lohmann, N., Kleine, J.: Fully-automatic translation of open workflow net models into simple abstract BPEL processes. In: Modellierung 2008. Lecture Notes in Informatics (LNI), vol. P-127, pp. 57\u201372. GI (2008)"},{"key":"7_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-79230-7_4","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Kopp, O., Leymann, F., Reisig, W.: Analyzing BPEL4Chor: Verification and participant synthesis. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"7_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11841760_3","volume-title":"Business Process Management","author":"N. Lohmann","year":"2006","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting BPEL processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"7_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73094-1_20","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 321\u2013341. Springer, Heidelberg (2007)"},{"key":"7_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-00899-3_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"N. Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, H., Dijkman, R.M.: Petri net transformations for business processes \u2013 a survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 46\u201363. Springer, Heidelberg (2009); Special Issue on Concurrency in Process-Aware Information Systems"},{"issue":"1","key":"7_CR38","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1504\/IJBPIM.2009.026986","volume":"4","author":"N. Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, H., Ouyang, C., Stahl, C.: Comparing and evaluating Petri net semantics for BPEL. Int. J. Business Process Integration and Management\u00a04(1), 60\u201373 (2009)","journal-title":"Int. J. Business Process Integration and Management"},{"key":"7_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-13675-7_18","volume-title":"Applications and Theory of Petri Nets","author":"N. Lohmann","year":"2010","unstructured":"Lohmann, N., Weinberg, D.: Wendy: A tool to synthesize partners for services. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 297\u2013307. Springer, Heidelberg (2010)"},{"key":"7_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/978-3-642-14458-5_7","volume-title":"WS-FM 2009","author":"N. Lohmann","year":"2010","unstructured":"Lohmann, N., Wolf, K.: Realizability is controllability. In: Laneve, C. (ed.) WS-FM 2010. LNCS, vol.\u00a06194, pp. 110\u2013127. Springer, Heidelberg (2010)"},{"key":"7_CR41","unstructured":"Massuthe, P., Weinberg, D.: Fiona: A tool to analyze interacting open nets. In: CEUR Workshop Proceedings, AWPN 2008, vol.\u00a0380, pp. 99\u2013104. CEUR-WS.org. (2008)"},{"key":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/11841760_38","volume-title":"Business Process Management","author":"J. Mendling","year":"2006","unstructured":"Mendling, J., Moser, M., Neumann, G., Verbeek, H.M.W., van Dongen, B.F., van der Aalst, W.M.P.: Faulty EPCs in the SAP reference model. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 451\u2013457. Springer, Heidelberg (2006)"},{"key":"7_CR43","unstructured":"Mennicke, S., Oanea, O., Wolf, K.: Decomposition into open nets. In: CEUR Workshop Proceedings, AWPN 2009, vol.\u00a0501, pp. 29\u201334. CEUR-WS.org (2009)"},{"key":"7_CR44","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Inc., Englewood Cliffs (1989)"},{"issue":"4","key":"7_CR45","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. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"7_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-642-13675-7_16","volume-title":"PETRI NETS 2010","author":"O. Oanea","year":"2010","unstructured":"Oanea, O., Wimmel, H., Wolf, K.: New algorithms for deciding the siphon-trap property. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 267\u2013286. Springer, Heidelberg (2010)"},{"issue":"2-3","key":"7_CR47","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C. Ouyang","year":"2007","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., Hofstede, A.H.M.t.: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program.\u00a067(2-3), 162\u2013198 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"7_CR48","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/s10009-004-0183-4","volume":"7","author":"M.R. Prasad","year":"2005","unstructured":"Prasad, M.R., Biere, A., Gupta, A.: A survey of recent advances in SAT-based formal verification. STTT\u00a07(2), 156\u2013173 (2005)","journal-title":"STTT"},{"key":"7_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-00899-3_7","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"M. Reichert","year":"2009","unstructured":"Reichert, M., Rinderle-Ma, S., Dadam, P.: Flexibility in process-aware information systems. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 115\u2013135. Springer, Heidelberg (2009); Special Issue on Concurrency in Process-Aware Information Systems"},{"key":"7_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/3-540-44919-1_29","volume-title":"Applications and Theory of Petri Nets 2003","author":"C. Schr\u00f6ter","year":"2003","unstructured":"Schr\u00f6ter, C., Schwoon, S., Esparza, J.: The Model-Checking Kit. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 463\u2013472. Springer, Heidelberg (2003)"},{"key":"7_CR51","unstructured":"Somenzi, F.: CUDD: CU Decision Diagram Package, \n                    \n                      http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/"},{"key":"7_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-642-00899-3_10","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"C. Stahl","year":"2009","unstructured":"Stahl, C., Massuthe, P., Bretschneider, J.: Deciding substitutability of services with operating guidelines. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 172\u2013191. Springer, Heidelberg (2009); Special Issue on Concurrency in Process-Aware Information Systems"},{"key":"7_CR53","first-page":"234","volume-title":"ACSD 2005","author":"C. Stahl","year":"2005","unstructured":"Stahl, C., Reisig, W., Krstic, M.: Hazard detection in a GALS wrapper: A case study. In: ACSD 2005, pp. 234\u2013243. IEEE, Los Alamitos (2005)"},{"key":"7_CR54","unstructured":"S\u00fcrmeli, J.: Profiling services with static analysis. In: CEUR Workshop Proceedings, AWPN 2009, vol.\u00a0501, pp. 35\u201340. CEUR-WS.org (2009)"},{"key":"7_CR55","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11880646_10","volume-title":"Transactions on Computational Systems Biology VI","author":"C.L. Talcott","year":"2006","unstructured":"Talcott, C.L., Dill, D.L.: Multiple representations of biological processes. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 221\u2013245. Springer, Heidelberg (2006)"},{"key":"7_CR56","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)"},{"issue":"3","key":"7_CR57","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1093\/comjnl\/bxl074","volume":"50","author":"H.M.W. Verbeek","year":"2007","unstructured":"Verbeek, H.M.W., van der Aalst, W.M.P., Hofstede, A.H.M.t.: Verifying workflows with cancellation regions and OR-joins: An approach based on relaxed soundness and invariants. Comput. J.\u00a050(3), 294\u2013314 (2007)","journal-title":"Comput. J."},{"issue":"4","key":"7_CR58","first-page":"246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing workflow processes using Woflan. Comput.\u00a0J.\u00a044(4), 246\u2013279 (2001)","journal-title":"Comput.\u00a0J."},{"key":"7_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-540-40022-6_6","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M. Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The Petri Net Kernel. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 109\u2013124. Springer, Heidelberg (2003)"},{"key":"7_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-01364-5_14","volume-title":"Web Services and Formal Methods","author":"D. Weinberg","year":"2009","unstructured":"Weinberg, D.: Efficient controllability analysis of open nets. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol.\u00a05387, pp. 224\u2013239. Springer, Heidelberg (2009)"},{"key":"7_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-540-73094-1_5","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"K. Wolf","year":"2007","unstructured":"Wolf, K.: Generating Petri net state spaces. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 29\u201342. Springer, Heidelberg (2007)"},{"key":"7_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-00899-3_9","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"K. Wolf","year":"2009","unstructured":"Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets. LNCS, vol.\u00a05460, pp. 152\u2013171. Springer, Heidelberg (2009)"},{"key":"7_CR63","first-page":"168","volume-title":"ACSD 2009","author":"K. Wolf","year":"2009","unstructured":"Wolf, K., Stahl, C., Ott, J., Danitz, R.: Verifying livelock freedom in an SOA scenario. In: ACSD 2009, pp. 168\u2013177. IEEE, Los Alamitos (2009)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15618-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:59:29Z","timestamp":1619787569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15618-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156175","9783642156182"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15618-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}