{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:34:27Z","timestamp":1725878067974},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319522333"},{"type":"electronic","value":"9783319522340"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-52234-0_6","type":"book-chapter","created":{"date-parts":[[2017,1,11]],"date-time":"2017-01-11T04:52:06Z","timestamp":1484110326000},"page":"91-111","source":"Crossref","is-referenced-by-count":3,"title":["Reduction of Workflow Nets for Generalised Soundness Verification"],"prefix":"10.1007","author":[{"given":"Hadrien","family":"Bride","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Kouchnarenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabien","family":"Peureux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,12]]},"reference":[{"key":"6_CR1","first-page":"161","volume":"428","author":"WM Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.: Three good reasons for using a Petri-net-based workflow management system. J. Inf. Process Integr. Enterprises 428, 161\u2013182 (1997)","journal-title":"J. Inf. Process Integr. Enterprises"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-52215-8_10","volume-title":"Computer Aided Systems Theory \u2014 EUROCAST \u201989","author":"G Dittrich","year":"1990","unstructured":"Dittrich, G.: Specification with nets. In: Pichler, F., Moreno-Diaz, R. (eds.) EUROCAST 1989. LNCS, vol. 410, pp. 111\u2013124. Springer, Heidelberg (1990). doi: 10.1007\/3-540-52215-8_10"},{"key":"6_CR3","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":"WMP Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P., Barros, A.P., Hofstede, A.H.M., Kiepuszewski, B.: Advanced workflow patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol. 1901, pp. 18\u201329. Springer, Heidelberg (2000). doi: 10.1007\/10722620_2"},{"issue":"1","key":"6_CR4","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0022-0000(83)90029-6","volume":"27","author":"I Suzuki","year":"1983","unstructured":"Suzuki, I., Murata, T.: A method for stepwise refinement and abstraction of Petri nets. J. Comput. Syst. Sci. 27(1), 51\u201376 (1983)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"6_CR5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WM Aalst van der","year":"2011","unstructured":"van der Aalst, W.M., van Hee, K.M., ter Hofstede, A.H., Sidorova, N., Verbeek, H., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. J. Formal Aspects Comput. 23(3), 333\u2013363 (2011)","journal-title":"J. Formal Aspects Comput."},{"key":"6_CR6","unstructured":"Lipton, R.: The reachability problem requires exponential space. Research report (Yale University. Department of Computer Science). Department of Computer Science, Yale University (1976)"},{"issue":"4","key":"6_CR7","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. IEEE 77(4), 541\u2013580 (1989)","journal-title":"IEEE"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A Valmari","year":"1998","unstructured":"Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 429\u2013528. Springer, Berlin (1998). doi: 10.1007\/3-540-65306-6_21"},{"key":"6_CR9","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. 4102, pp. 451\u2013457. Springer, Berlin (2006). doi: 10.1007\/11841760_38"},{"issue":"6","key":"6_CR10","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1016\/j.compind.2007.01.001","volume":"58","author":"BF Dongen van","year":"2007","unstructured":"van Dongen, B.F., Jansen-Vullers, M.H., 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. 58(6), 578\u2013601 (2007)","journal-title":"Comput. Ind."},{"issue":"1","key":"6_CR11","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1016\/j.datak.2007.06.019","volume":"64","author":"J Mendling","year":"2008","unstructured":"Mendling, J., Verbeek, H.M.W., van Dongen, B.F., van der Aalst, W.M., Neumann, G.: Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64(1), 312\u2013329 (2008)","journal-title":"Data Knowl. Eng."},{"key":"6_CR12","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.) BPM 2009. LNCS, vol. 5701, pp. 278\u2013293. Springer, Berlin (2009). doi: 10.1007\/978-3-642-03848-8_19"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-662-49665-7_20","volume-title":"Fundamental Approaches to Software Engineering","author":"J Esparza","year":"2016","unstructured":"Esparza, J., Hoffmann, P.: Reduction rules for colored workflow nets. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 342\u2013358. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49665-7_20"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-662-49674-9_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C Favre","year":"2016","unstructured":"Favre, C., V\u00f6lzer, H., M\u00fcller, P.: Diagnostic information for control-flow analysis of workflow graphs (a.k.a. Free-Choice Workflow Nets). In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 463\u2013479. Springer, Berlin (2016). doi: 10.1007\/978-3-662-49674-9_27"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-27793-4_12","volume-title":"Applications and Theory of Petri Nets 2004","author":"K Hee Van","year":"2004","unstructured":"Van Hee, K., Sidorova, N., Voorhoeve, M.: Generalised soundness of workflow nets is decidable. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 197\u2013215. Springer, Berlin (2004). doi: 10.1007\/978-3-540-27793-4_12"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-70881-0_21","volume-title":"Perspectives of Systems Informatics","author":"K Hee","year":"2007","unstructured":"Hee, K., Oanea, O., Sidorova, N., Voorhoeve, M.: Verifying generalized soundness of workflow nets. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol. 4378, pp. 235\u2013247. Springer, Berlin (2007). doi: 10.1007\/978-3-540-70881-0_21"},{"key":"6_CR17","unstructured":"Ping, L., Hao, H., Jian, L.: On 1-soundness and soundness of workflow nets. In: Proceedings of the Third Workshop on Modelling of Objects, Components, and Agents Aarhus, Denmark, pp. 21\u201336 (2004)"},{"issue":"4","key":"6_CR18","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"HMW Verbeek","year":"2001","unstructured":"Verbeek, H.M.W., Basten, T., van der Aalst, W.M.: Diagnosing workflow processes using woflan. Comput. J. 44(4), 246\u2013279 (2001)","journal-title":"Comput. J."},{"issue":"11","key":"6_CR19","doi-asserted-by":"crossref","first-page":"2723","DOI":"10.1587\/transfun.E92.A.2723","volume":"92","author":"M Yamaguchi","year":"2009","unstructured":"Yamaguchi, M., Yamaguchi, S., Tanaka, M.: A model checking method of soundness for workflow nets. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92(11), 2723\u20132731 (2009)","journal-title":"IEICE Trans. Fundam. Electron. Commun. Comput. Sci."},{"key":"6_CR20","volume-title":"The SPIN Model Checker Primer and Reference Manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker Primer and Reference Manual, vol. 1003. Addison-Wesley, Reading (2004)"},{"issue":"1","key":"6_CR21","first-page":"51","volume":"5","author":"K Barkaoui","year":"2007","unstructured":"Barkaoui, K., Ben Ayed, R., Sbai, Z.: Workflow soundness verification based on structure theory of Petri nets. J. Comput. Inf. Sci. 5(1), 51\u201361 (2007)","journal-title":"J. Comput. Inf. Sci."},{"key":"6_CR22","volume-title":"Free Choice Petri Nets","author":"J Desel","year":"2005","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets, vol. 40. Cambridge University Press, New York (2005)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Lin, H., Zhao, Z., Li, H., Chen, Z.: A novel graph reduction algorithm to identify structural conflicts. In: Proceedings of the 35th Annual Hawaii International Conference on System Sciences HICSS 2002, 10 p. IEEE (2002)","DOI":"10.1109\/HICSS.2002.994506"},{"issue":"3","key":"6_CR24","first-page":"486","volume":"61","author":"OE Hichami","year":"2014","unstructured":"Hichami, O.E., Al Achhab, M., Berrada, I., Oucheikh, R., El Mohajir, B.E.: An approach of optimisation and formal verification of workflow Petri nets. J. Theoret. Appl. Inf. Technol. 61(3), 486\u2013495 (2014)","journal-title":"J. Theoret. Appl. Inf. Technol."},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Petri Nets: Central Models and Their Properties","author":"G Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 254, pp. 359\u2013376. Springer, Berlin (1987). doi: 10.1007\/978-3-540-47919-2_13"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Voorhoeve, M., Van der Aalst, W.: Ad-hoc workflow: problems and solutions. In: 1997 Proceedings of the Eighth International Workshop on Database and Expert Systems Applications, pp. 36\u201340. IEEE (1997)","DOI":"10.1109\/DEXA.1997.617230"},{"issue":"2","key":"6_CR27","doi-asserted-by":"crossref","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. Inf. Syst. 25(2), 117\u2013134 (2000)","journal-title":"Inf. Syst."},{"issue":"6","key":"6_CR28","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1016\/j.ins.2008.10.033","volume":"179","author":"MT Wynn","year":"2009","unstructured":"Wynn, M.T., Verbeek, H., van der Aalst, W.M., ter Hofstede, A.H., Edmond, D.: Soundness-preserving reduction rules for reset workflow nets. Inf. Sci. 179(6), 769\u2013790 (2009)","journal-title":"Inf. Sci."},{"issue":"7","key":"6_CR29","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/s002360050066","volume":"33","author":"RH Sloan","year":"1996","unstructured":"Sloan, R.H., Buy, U.: Reduction rules for time petri nets. Acta Informatica 33(7), 687\u2013706 (1996)","journal-title":"Acta Informatica"},{"key":"6_CR30","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Ph.D. thesis, Darmstadt University of Technology, Germany (1962)"},{"issue":"1","key":"6_CR31","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WM Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.: The application of Petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-40022-6_7","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The petri net markup language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 124\u2013144. Springer, Berlin (2003). doi: 10.1007\/978-3-540-40022-6_7"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/3-540-44895-0_26","volume-title":"Business Process Management","author":"J Desel","year":"2003","unstructured":"Desel, J., Juh\u00e1s, G., Lorenz, R., Neumair, C.: Modelling and validation with viptool. In: Aalst, W.M.P., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 380\u2013389. Springer, Berlin (2003). doi: 10.1007\/3-540-44895-0_26"},{"key":"6_CR34","unstructured":"Freytag, T.: Woped-workflow petri net designer. University of Cooperative Education (2005)"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Van Hee, K., Oanea, O., Post, R., Somers, L., Van der Werf, J.M.: Yasper: a tool for workflow modeling and analysis. In: 2006 Sixth International Conference on Application of Concurrency to System Design ACSD 2006, pp. 279\u2013282. IEEE (2006)","DOI":"10.1109\/ACSD.2006.37"},{"key":"6_CR36","unstructured":"Bonet, P., Llad\u00f3, C.M., Puijaner, R., Knottenbelt, W.J.: PIPE v2.5: a Petri net tool for performance modelling. In: Proceedings of the 23rd Latin American Conference on Informatics (CLEI 2007), San Jose, Costa Rica, October 2007"},{"key":"6_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45441-1_7","volume-title":"$$\\ll $$ UML $$\\gg $$ 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M Dumas","year":"2001","unstructured":"Dumas, M., Hofstede, A.H.M.: UML activity diagrams as a workflow specification language. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 76\u201390. Springer, Berlin (2001). doi: 10.1007\/3-540-45441-1_7"},{"key":"6_CR38","unstructured":"Fahland, D.: Translating UML2 activity diagrams to Petri nets (2008)"},{"issue":"3","key":"6_CR39","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B Kiepuszewski","year":"2003","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.: Fundamentals of control flow in workflows. Acta Informatica 39(3), 143\u2013209 (2003)","journal-title":"Acta Informatica"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Kordon, F., Garavel, H., Hillah, L.M., Hulin-Hubard, F., Chiardo, G., Hamez, A., Jezequel, L., Miner, A., Meijer, J., Paviot-Adet, E., Racordon, D., Rodriguez, C., Rohr, C., Srba, J., Thierry-Mieg, Y., Trinh, G., Wolf, K.: Models of the 2016 Edition of the Model Checking Contest, June 2016. http:\/\/mcc.lip6.fr\/models.php","DOI":"10.1007\/978-3-662-53401-4_12"},{"key":"6_CR41","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, E., Dijkman, R.: Petri net transformations for business processes\u2013a survey. In: Jensen, K., Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 46\u201363. Springer, Berlin (2009). doi: 10.1007\/978-3-642-00899-3_3"},{"key":"6_CR42","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":"E Verbeek","year":"2000","unstructured":"Verbeek, E., 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. 1825, pp. 475\u2013484. Springer, Heidelberg (2000). doi: 10.1007\/3-540-44988-4_28"},{"key":"6_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-319-10181-1_11","volume-title":"Integrated Formal Methods","author":"H Bride","year":"2014","unstructured":"Bride, H., Kouchnarenko, O., Peureux, F.: Verifying modal workflow specifications using constraint solving. In: Albert, E., Sekerinski, E. (eds.) IFM 2014. LNCS, vol. 8739, pp. 171\u2013186. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-10181-1_11"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52234-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,21]],"date-time":"2022-07-21T06:34:02Z","timestamp":1658385242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52234-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319522333","9783319522340"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52234-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}