{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T09:10:07Z","timestamp":1748769007381,"version":"3.41.0"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319291321"},{"type":"electronic","value":"9783319291338"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-29133-8_9","type":"book-chapter","created":{"date-parts":[[2016,2,2]],"date-time":"2016-02-02T07:38:55Z","timestamp":1454398735000},"page":"168-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Possibilistic WorkFlow Net for Deadlock Avoidance in Interorganizational Business Processes"],"prefix":"10.1007","author":[{"given":"Leiliane Pereira","family":"de Rezende","sequence":"first","affiliation":[]},{"given":"St\u00e9phane","family":"Julia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,3]]},"reference":[{"key":"9_CR1","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W Aalst van der","year":"2004","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2004)"},{"key":"9_CR2","unstructured":"Members, W.M.C.: Glossary - a workflow management coalition specification. Technical report, Coalition, Workflow Management (1994)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Modeling and analyzing interorganizational workflows. In: International Conference on Application of Concurrency to System Design, pp. 262\u2013272 (1998)","DOI":"10.1109\/CSD.1998.657557"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Silva, L.d.F., Soares Passos, L.M., Soares, M.d.S., Julia, S.: Siphon-based deadlock prevention policy for interorganizational workflow net design. In: IEEE International Conference on Information Reuse and Integration, pp. 293\u2013300 (2013)","DOI":"10.1109\/IRI.2013.6642485"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8, 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Soares Passos, L., Julia, S.: Qualitative analysis of workflow nets using linear logic: Soundness verification. In: IEEE International Conference on Systems, Man and Cybernetics, SMC 2009, pp. 2843\u20132847 (2009)","DOI":"10.1109\/ICSMC.2009.5346601"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1016\/j.datak.2011.01.004","volume":"70","author":"D Fahland","year":"2011","unstructured":"Fahland, D., Favre, C., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70, 448\u2013466 (2011)","journal-title":"Data Knowl. Eng."},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0378-7206(99)00038-5","volume":"37","author":"WMP Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries. Inf. Manage. 37, 67\u201375 (2000)","journal-title":"Inf. Manage."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Xiong, P., Zhou, M., Pu, C.: A petri net siphon based solution to protocol-level service composition mismatches. In: IEEE International Conference on Web Services, pp. 952\u2013958 (2009)","DOI":"10.1109\/ICWS.2009.108"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1016\/j.camwa.2011.07.063","volume":"63","author":"F Tang","year":"2012","unstructured":"Tang, F., You, I., Yu, S., Wang, C.L., Guo, M., Liu, W.: An efficient deadlock prevention approach for service oriented transaction processing. Comput. Math. Appl. 63, 458\u2013468 (2012)","journal-title":"Comput. Math. Appl."},{"key":"9_CR11","unstructured":"Mohanty, M., Kumara, P.: Deadlock prevention in process control computer system. In: International Conference on Distributed Computing and Internet Technology, pp. 12\u201316 (2013)"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"1572","DOI":"10.1109\/9.956052","volume":"46","author":"J Park","year":"2001","unstructured":"Park, J., Reveliotis, S.: Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Autom. Control 46, 1572\u20131583 (2001)","journal-title":"IEEE Trans. Autom. Control"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Kohler, M., Schaad, A.: Avoiding policy-based deadlocks in business processes. In: International Conference on Availability, Reliability and Security, pp. 709\u2013716 (2008)","DOI":"10.1109\/ARES.2008.131"},{"key":"9_CR14","first-page":"5740","volume":"6","author":"X Gang","year":"2004","unstructured":"Gang, X., Ming, W.Z.: Systemic solutions to deadlock in FMS. Am. Control Conf. 6, 5740\u20135745 (2004)","journal-title":"Am. Control Conf."},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J Ezpeleta","year":"1995","unstructured":"Ezpeleta, J., Colom, J.M., Martnez, J.: A petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Autom. 11, 173\u2013184 (1995)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1080\/00207540010002405","volume":"39","author":"Y Huang","year":"2001","unstructured":"Huang, Y., Jeng, M., Xie, X., Chung, S.: Deadlock prevention policy based on petri nets and siphons. Int. J. Prod. Res. 39, 283\u2013305 (2001)","journal-title":"Int. J. Prod. Res."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","volume":"34","author":"Z Li","year":"2004","unstructured":"Li, Z., Zhou, M.: Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst., Man, Cybern. 34, 38\u201351 (2004)","journal-title":"IEEE Trans. Syst., Man, Cybern."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1109\/TSMCA.2007.893484","volume":"37","author":"M Uzam","year":"2007","unstructured":"Uzam, M., Zhou, M.: An iterative synthesis approach to petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. 37, 362\u2013371 (2007)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"5249","DOI":"10.1016\/j.ins.2011.07.034","volume":"181","author":"F Ahmad","year":"2011","unstructured":"Ahmad, F., Huang, H., Wang, X.: Analysis of the petri net model of parallel manufacturing processes with shared resources. Inf. Sci. 181, 5249\u20135266 (2011)","journal-title":"Inf. Sci."},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1016\/j.automatica.2011.01.070","volume":"47","author":"Y Chen","year":"2011","unstructured":"Chen, Y., Li, Z.: Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Automatica 47, 1028\u20131034 (2011)","journal-title":"Automatica"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/TSMCA.2011.2169956","volume":"42","author":"Y Chen","year":"2012","unstructured":"Chen, Y., Li, Z., Zhou, M.: Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. 42, 615\u2013629 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1109\/TSMCA.2011.2164241","volume":"42","author":"YS Huang","year":"2012","unstructured":"Huang, Y.S., Pan, Y.L., Zhou, M.: Computationally improved optimal deadlock control policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. 42, 404\u2013415 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSMCA.2011.2147308","volume":"42","author":"Z Li","year":"2012","unstructured":"Li, Z., Liu, G., Hanisch, H.M., Zhou, M.: Deadlock prevention based on structure reuse of petri net supervisors for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. 42, 178\u2013191 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"9_CR24","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.ins.2013.01.003","volume":"235","author":"G Liu","year":"2013","unstructured":"Liu, G., Li, Z., Barkaoui, K., Al-Ahmari, A.: Robustness of deadlock control for a class of petri nets with unreliable resources. Inf. Sci. 235, 259\u2013279 (2013)","journal-title":"Inf. Sci."},{"key":"9_CR25","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. IEEE 77, 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1109\/81.285680","volume":"41","author":"E Boer","year":"1994","unstructured":"Boer, E., Murata, T.: Generating basis siphons and traps of petri nets using the sign incidence matrix. IEEE Trans. Circ. Syst. I: Fundam. Theor. Appl. 41, 266\u2013271 (1994)","journal-title":"IEEE Trans. Circ. Syst. I: Fundam. Theor. Appl."},{"key":"9_CR27","first-page":"499","volume":"2","author":"K Barkaoui","year":"1995","unstructured":"Barkaoui, K., Abdallah, I.: Deadlock avoidance in FMS based on structural theory of petri nets. IEEE Symp. Emerg. Technol. Factory Autom. 2, 499\u2013510 (1995)","journal-title":"IEEE Symp. Emerg. Technol. Factory Autom."},{"key":"9_CR28","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F Chu","year":"1997","unstructured":"Chu, F., Xie, X.L.: Deadlock analysis of petri nets using siphons and mathematical programming. IEEE Trans. Robot. Autom. 13, 793\u2013804 (1997)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"9_CR29","first-page":"611","volume":"1","author":"T Maruta","year":"1998","unstructured":"Maruta, T., Onoda, S., Ikkai, Y., Kobayashi, T., Komoda, N.: A deadlock detection algorithm for business processes workflow models. IEEE Int. Conf. Syst. Man Cybern. 1, 611\u2013616 (1998)","journal-title":"IEEE Int. Conf. Syst. Man Cybern."},{"key":"9_CR30","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. Inf. Syst. 25, 117\u2013134 (2000)","journal-title":"Inf. Syst."},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/70.988975","volume":"18","author":"M Iordache","year":"2002","unstructured":"Iordache, M., Moody, J., Antsaklis, P.: Synthesis of deadlock prevention supervisors using petri nets. IEEE Trans. Robot. Autom. 18, 59\u201368 (2002)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"9_CR32","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-79396-0_21","volume-title":"Business Information Systems","author":"A Awad","year":"2008","unstructured":"Awad, A., Puhlmann, F.: Structural detection of deadlocks in business process models. In: Abramowicz, W., Fensel, D. (eds.) Business Information Systems. Lecture Notes in Business Information Processing, vol. 7, pp. 239\u2013250. Springer, Heidelberg (2008)"},{"key":"9_CR33","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: Classification, decidability, and analysis. Form. Asp. Comput. 23, 333\u2013363 (2011)","journal-title":"Form. Asp. Comput."},{"key":"9_CR34","first-page":"335","volume":"34","author":"W Aalst","year":"1999","unstructured":"Aalst, W.: Interorganizational workflows: an approach based on message sequence charts and petri nets. Syst. Analy. Model. Simul. 34, 335\u2013367 (1999)","journal-title":"Syst. Analy. Model. Simul."},{"key":"9_CR35","unstructured":"Sibertin-Blanc, C.: High level petri nets with data structure. In: Jensen, K., (ed.) Proceedings of the 6th European Workshop on Application and Theory of Petri Nets, Espoo, Finland, pp. 141\u2013170 (1985)"},{"key":"9_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-45397-0_7","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"C Sibertin-Blanc","year":"2001","unstructured":"Sibertin-Blanc, C.: Cooperative objects: principles, use and implementation. In: Agha, G., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 216\u2013246. Springer, Heidelberg (2001)"},{"key":"9_CR37","first-page":"115","volume-title":"Fuzziness in Petri Nets","author":"J Cardoso","year":"1999","unstructured":"Cardoso, J.: Time fuzzy petri nets. In: Cardoso, J., Camargo, H. (eds.) Fuzziness in Petri Nets, vol. 22, pp. 115\u2013145. Springer, New York (1999)"},{"key":"9_CR38","doi-asserted-by":"crossref","unstructured":"Cardoso, J., Valette, R., Dubois, D.: Petri nets with uncertain markings. In: Applications and Theory of Petri Nets, vol. 483, pp. 64\u201378 (1989)","DOI":"10.1007\/3-540-53863-1_21"},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Zhong, C., Li, Z.: Petri net based deadlock prevention approach for flexible manufacturing systems. In: Information Science Reference, pp. 416\u2013433 (2011)","DOI":"10.4018\/978-1-60960-086-0.ch015"},{"key":"9_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"R David","year":"2010","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets, 2nd edn. Springer Publishing Company, Incorporated, Heidelberg (2010)","edition":"2"},{"key":"9_CR41","unstructured":"Hack, M.: Analysis production schemata by petri nets. Master\u2019s thesis, Massachusetts Institute of Technology (1972)"},{"key":"9_CR42","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-71560-3_5","volume-title":"Dynamic Analysis of Petri Net-Based Discrete Systems","author":"A Karatkevich","year":"2007","unstructured":"Karatkevich, A.: Analysis by solving logical equations - calculation of siphons and traps. In: Karatkevich, A. (ed.) Dynamic Analysis of Petri Net-Based Discrete Systems. Lecture Notes in Control and Information Sciences, vol. 356, pp. 87\u201393. Springer, Heidelberg (2007)"},{"key":"9_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-56689-9_42","volume-title":"Advances in Petri Nets 1993","author":"J Ezpeleta","year":"1993","unstructured":"Ezpeleta, J., Couvreur, J., Silva, M.: A new technique for finding a generating family of siphons, traps and st-components. application to colored petri nets. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol. 674, pp. 126\u2013147. Springer, Heidelberg (1993)"},{"key":"9_CR44","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1530873.1530881","volume":"36","author":"NJ Dingle","year":"2009","unstructured":"Dingle, N.J., Knottenbelt, W.J., Suto, T.: Pipe2: A tool for the performance evaluation of generalised stochastic petri nets. SIGMETRICS Perform. Eval. Rev. 36, 34\u201339 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"9_CR45","volume-title":"Business Process Management - Concepts, Languages Architectures","author":"M Weske","year":"2007","unstructured":"Weske, M.: Business Process Management - Concepts, Languages Architectures. Springer, Heidelberg (2007)"},{"key":"9_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2013\/507984","volume":"2013","author":"WMP Aalst van der","year":"2013","unstructured":"van der Aalst, W.M.P.: Business process management: a comprehensive survey. ISRN Softw. Eng. 2013, 1\u201337 (2013)","journal-title":"ISRN Softw. Eng."},{"key":"9_CR47","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-00416-2_5","volume-title":"Handbook on Business Process Management 1","author":"M Rosemann","year":"2010","unstructured":"Rosemann, M., Vom Brocke, J.: The six core elements of business process management. In: Vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 1, pp. 107\u2013122. Springer, Heidelberg (2010)"},{"key":"9_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1007\/3-540-45319-9_39","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Beaudouin-Lafon","year":"2001","unstructured":"Beaudouin-Lafon, M., Mackay, W.E., Jensen, M., Andersen, P., Janecek, P., Lassen, H.M., Lund, K., Mortensen, K.H., Munck, S., Ratzer, A., Ravn, K., Christensen, S., Jensen, K.: CPN\/Tools: a tool for editing and simulating coloured petri nets ETAPS tool demonstration related to TACAS. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 574\u2013577. Springer, Heidelberg (2001)"},{"key":"9_CR49","volume-title":"Simulation and the Monte Carlo Method","author":"R Rubinstein","year":"2008","unstructured":"Rubinstein, R., Kroese, D.: Simulation and the Monte Carlo Method, 2nd edn. Wiley, New York (2008)","edition":"2"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29133-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T08:36:29Z","timestamp":1748766989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29133-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319291321","9783319291338"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29133-8_9","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"3 February 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}