{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T02:55:35Z","timestamp":1769741735548,"version":"3.49.0"},"publisher-location":"Cham","reference-count":60,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031336195","type":"print"},{"value":"9783031336201","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-33620-1_10","type":"book-chapter","created":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T08:02:05Z","timestamp":1685174525000},"page":"191-204","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6829-2263","authenticated-orcid":false,"given":"Remigiusz","family":"Wi\u015bniewski","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3103-4767","authenticated-orcid":false,"given":"Grzegorz","family":"Bazyd\u0142o","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9830-9262","authenticated-orcid":false,"given":"Marcin","family":"Wojnakowski","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6911-3060","authenticated-orcid":false,"given":"Mateusz","family":"Pop\u0142awski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,5,28]]},"reference":[{"key":"10_CR1","volume-title":"Introduction to Embedded Systems: A Cyber-Physical Systems Approach","author":"EA Lee","year":"2016","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach, 2nd edn. The MIT Press, Cambridge (2016)","edition":"2"},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1049\/iet-cps.2016.0025","volume":"1","author":"C-S Shih","year":"2016","unstructured":"Shih, C.-S., Chou, J.-J., Reijers, N., Kuo, T.-W.: Designing CPS\/IoT applications for smart buildings and cities. IET Cyber-Phys. Syst. Theory Appl. 1(1), 3\u201312 (2016). https:\/\/doi.org\/10.1049\/iet-cps.2016.0025","journal-title":"IET Cyber-Phys. Syst. Theory Appl."},{"issue":"4","key":"10_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10916-018-0921-x","volume":"42","author":"N Dey","year":"2018","unstructured":"Dey, N., Ashour, A.S., Shi, F., Fong, S.J., Tavares, J.M.R.S.: Medical cyber-physical systems: a survey. J. Med. Syst. 42(4), 1\u201313 (2018). https:\/\/doi.org\/10.1007\/s10916-018-0921-x","journal-title":"J. Med. Syst."},{"issue":"3","key":"10_CR4","doi-asserted-by":"publisher","first-page":"345","DOI":"10.34768\/amcs-2022-0025","volume":"32","author":"J Patalas-Maliszewska","year":"2022","unstructured":"Patalas-Maliszewska, J., Posdzich, M., Skrzypek, K.: Modelling information for the burnishing process in a cyber-physical production system. Int. J. Appl. Math. Comput. Sci. 32(3), 345\u2013354 (2022). https:\/\/doi.org\/10.34768\/amcs-2022-0025","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"issue":"3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/TSMC.2016.2598303","volume":"48","author":"Q Zhu","year":"2018","unstructured":"Zhu, Q., Zhou, M., Qiao, Y., Wu, N.: Petri net modeling and scheduling of a close-down process for time-constrained single-arm cluster tools. IEEE Trans. Syst. Man Cybern. Syst. 48(3), 389\u2013400 (2018). https:\/\/doi.org\/10.1109\/TSMC.2016.2598303","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"7","key":"10_CR6","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1109\/TCSII.2018.2875589","volume":"66","author":"R Wi\u015bniewski","year":"2019","unstructured":"Wi\u015bniewski, R., Bazyd\u0142o, G., Szcze\u015bniak, P.: Low-cost FPGA hardware implementation of matrix converter switch control. IEEE Trans. Circuits Syst. II Express Briefs 66(7), 1177\u20131181 (2019). https:\/\/doi.org\/10.1109\/TCSII.2018.2875589","journal-title":"IEEE Trans. Circuits Syst. II Express Briefs"},{"key":"10_CR7","doi-asserted-by":"publisher","unstructured":"Patalas-Maliszewska, J., Wi\u015bniewski, R., Topczak, M., Wojnakowski, M.: Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems. In: 2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), July 2022, pp. 1\u20139 (2022). https:\/\/doi.org\/10.1109\/FUZZ-IEEE55066.2022.9882766","DOI":"10.1109\/FUZZ-IEEE55066.2022.9882766"},{"key":"10_CR8","doi-asserted-by":"publisher","unstructured":"Wi\u015bniewski, R., Wojnakowski, M., Li, Z.: Design and verification of petri-net-based cyber-physical systems oriented toward implementation in field-programmable gate arrays\u2014a case study example. Energies 16(1), Article no. 1 (2023). https:\/\/doi.org\/10.3390\/en16010067","DOI":"10.3390\/en16010067"},{"key":"10_CR9","doi-asserted-by":"publisher","unstructured":"Wojnakowski, M., Wi\u015bniewski, R., Pop\u0142awski, M., Bazyd\u0142o, G.: Analysis of control part of cyber-physical systems specified by interpreted Petri nets. In: 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC), October 2022, pp. 1090\u20131095 (2022). https:\/\/doi.org\/10.1109\/SMC53654.2022.9945425","DOI":"10.1109\/SMC53654.2022.9945425"},{"issue":"4","key":"10_CR10","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(4), 541\u2013580 (1989). https:\/\/doi.org\/10.1109\/5.24143","journal-title":"Proc. IEEE"},{"key":"10_CR11","doi-asserted-by":"publisher","unstructured":"Best, E., Devillers, R., Koutny,M.: Petri Net Algebra. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/978-3-662-04457-5","DOI":"10.1007\/978-3-662-04457-5"},{"key":"10_CR12","doi-asserted-by":"publisher","unstructured":"David, R., Alla, H.: Bases of petri nets. In: David, R., Alla, H. (eds.) Discrete, Continuous, and Hybrid Petri Nets, pp. 1\u201320. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-10669-9_1","DOI":"10.1007\/978-3-642-10669-9_1"},{"key":"10_CR13","doi-asserted-by":"publisher","unstructured":"Reisig, W., Rozenberg, G. (eds.) Lectures on Petri Nets I: Basic Models: Advances in Petri Nets. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-65306-6","DOI":"10.1007\/3-540-65306-6"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"WMP Aalst","year":"2000","unstructured":"Aalst, W.M.P.: Workflow verification: finding control-flow errors using petri-net-based techniques. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161\u2013183. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45594-9_11"},{"issue":"2","key":"10_CR15","volume":"70","author":"J Patalas-Maliszewska","year":"2022","unstructured":"Patalas-Maliszewska, J., Wi\u015bniewski, R., Topczak, M., Wojnakowski, M.: Design optimization of the Petri net-based production process supported by additive manufacturing technologies. Bull. Pol. Acad. Sci. Tech. Sci. 70(2), e140693 (2022)","journal-title":"Bull. Pol. Acad. Sci. Tech. Sci."},{"key":"10_CR16","doi-asserted-by":"publisher","unstructured":"Wi\u015bniewski, R.: Prototyping of Concurrent Control Systems Implemented in FPGA Devices. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-319-45811-3","DOI":"10.1007\/978-3-319-45811-3"},{"key":"10_CR17","doi-asserted-by":"publisher","unstructured":"Wisniewski, R., Bazyd\u0142o, G., Gomes, L., Costa, A., Wojnakowski, M.: Analysis and design automation of cyber-physical system with hippo and IOPT-tools. In: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, October 2019, vol. 1, pp. 5843\u20135848 (2019). https:\/\/doi.org\/10.1109\/IECON.2019.8926692","DOI":"10.1109\/IECON.2019.8926692"},{"key":"10_CR18","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-030-78288-7_8","volume-title":"DoCEIS 2021","author":"M Wojnakowski","year":"2021","unstructured":"Wojnakowski, M., Wi\u015bniewski, R.: Verification of the boundedness property in a petri net-based specification of the control part of cyber-physical systems. In: Camarinha-Matos, L.M., Ferreira, P., Brito, G. (eds.) DoCEIS 2021. IAICT, vol. 626, pp. 83\u201391. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78288-7_8"},{"key":"10_CR19","unstructured":"Silva, M., Colom, J.M., Campos, G.C.: Linear algebraic techniques for the analysis of Petri nets. In: Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II, pp. 35\u201342 (1992)"},{"key":"10_CR20","doi-asserted-by":"publisher","unstructured":"Celaya, J.R., Desrochers, A.A., Graves, R.J.: Modeling and analysis of multi-agent systems using Petri nets. In: 2007 IEEE International Conference on Systems, Man and Cybernetics, October 2007, pp. 1439\u20131444 (2007). https:\/\/doi.org\/10.1109\/ICSMC.2007.4413960","DOI":"10.1109\/ICSMC.2007.4413960"},{"issue":"4","key":"10_CR21","doi-asserted-by":"publisher","first-page":"647","DOI":"10.34768\/amcs-2021-0045","volume":"31","author":"M Wojnakowski","year":"2021","unstructured":"Wojnakowski, M., Wi\u015bniewski, R., Bazyd\u0142o, G., Pop\u0142awski, M.: Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems. AMCS 31(4), 647\u2013657 (2021). https:\/\/doi.org\/10.34768\/amcs-2021-0045","journal-title":"AMCS"},{"issue":"1","key":"10_CR22","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0304-3975(92)90299-U","volume":"102","author":"J Esparza","year":"1992","unstructured":"Esparza, J., Silva, M.: A polynomial-time algorithm to decide liveness of bounded free choice nets. Theor. Comput. Sci. 102(1), 185\u2013205 (1992). https:\/\/doi.org\/10.1016\/0304-3975(92)90299-U","journal-title":"Theor. Comput. Sci."},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-55676-1_4","volume-title":"ICATPN 1992","author":"K Barkaoui","year":"1992","unstructured":"Barkaoui, K., Minoux, M.: A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol. 616, pp. 62\u201375. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55676-1_4"},{"key":"10_CR24","doi-asserted-by":"publisher","unstructured":"Barkaoui, K., Ben Abdallah, I.: A deadlock prevention method for a class of FMS. In: 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, October 1995, vol. 5, pp. 4119\u20134124 (1995). https:\/\/doi.org\/10.1109\/ICSMC.1995.538436","DOI":"10.1109\/ICSMC.1995.538436"},{"issue":"2","key":"10_CR25","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., Martinez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Autom. 11(2), 173\u2013184 (1995). https:\/\/doi.org\/10.1109\/70.370500","journal-title":"IEEE Trans. Robot. Autom."},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"86863","DOI":"10.1109\/ACCESS.2019.2920677","volume":"7","author":"X Guo","year":"2019","unstructured":"Guo, X., Wang, S., You, D., Li, Z., Jiang, X.: A siphon-based deadlock prevention strategy for S3PR. IEEE Access 7, 86863\u201386873 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2920677","journal-title":"IEEE Access"},{"issue":"2","key":"10_CR27","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(2), 283\u2013305 (2001). https:\/\/doi.org\/10.1080\/00207540010002405","journal-title":"Int. J. Prod. Res."},{"key":"10_CR28","doi-asserted-by":"publisher","unstructured":"Karatkevich, A., Grobelna, I.: Deadlock detection in Petri nets: one trace for one deadlock?. In: 2014 7th International Conference on Human System Interactions (HSI), June 2014, pp. 227\u2013231 (2014). https:\/\/doi.org\/10.1109\/HSI.2014.6860480","DOI":"10.1109\/HSI.2014.6860480"},{"key":"10_CR29","doi-asserted-by":"publisher","unstructured":"Gomes, L., Barros, J.P., Costa, A., Nunes, R.: The input-output place-transition petri net class and associated tools. In: 2007 5th IEEE International Conference on Industrial Informatics, June 2007, vol. 1, pp. 509\u2013514 (2007). https:\/\/doi.org\/10.1109\/INDIN.2007.4384809","DOI":"10.1109\/INDIN.2007.4384809"},{"issue":"2","key":"10_CR30","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1109\/TCST.2017.2692204","volume":"26","author":"R Wi\u015bniewski","year":"2018","unstructured":"Wi\u015bniewski, R., Karatkevich, A., Adamski, M., Costa, A., Gomes, L.: Prototyping of concurrent control systems with application of Petri nets and comparability graphs. IEEE Trans. Control Syst. Technol. 26(2), 575\u2013586 (2018). https:\/\/doi.org\/10.1109\/TCST.2017.2692204","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"10","key":"10_CR31","doi-asserted-by":"publisher","first-page":"3592","DOI":"10.1109\/TSMC.2019.2894778","volume":"50","author":"AG Karatkevich","year":"2020","unstructured":"Karatkevich, A.G., Wi\u015bniewski, R.: A polynomial-time algorithm to obtain state machine cover of live and safe Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 50(10), 3592\u20133597 (2020). https:\/\/doi.org\/10.1109\/TSMC.2019.2894778","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Pop\u0142awski, M., Wojnakowski, M., Bazyd\u0142o, G., Wi\u015bniewski, R.: Reachability tree in liveness analysis of Petri net-based cyber-physical systems. In: AIP Conference Proceedings, Heraklion, Greece, September 2021","DOI":"10.1063\/5.0119328"},{"key":"10_CR33","unstructured":"Kovalyov, A., Esparza, J.: A polynomial algorithm to compute the concurrency relation of free-choice signal transition graphs. In: Proceedings of International WODES, June 1996"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-55676-1_17","volume-title":"ICATPN 1992","author":"AV Kovalyov","year":"1992","unstructured":"Kovalyov, A.V.: Concurrency relations and the safety problem for Petri nets. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol. 616, pp. 299\u2013309. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55676-1_17"},{"key":"10_CR35","doi-asserted-by":"publisher","first-page":"13510","DOI":"10.1109\/ACCESS.2019.2893284","volume":"7","author":"R Wisniewski","year":"2019","unstructured":"Wisniewski, R., Wisniewska, M., Jarnut, M.: C-exact hypergraphs in concurrency and sequentiality analyses of cyber-physical systems specified by safe petri nets. IEEE Access 7, 13510\u201313522 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2893284","journal-title":"IEEE Access"},{"key":"10_CR36","doi-asserted-by":"publisher","unstructured":"Wisniewski, R., Wojnakowski, M., Stefanowicz, \u0141.: Safety analysis of Petri nets based on the SM-cover computed with the linear algebra technique. In: AIP Conference Proceedings, vol. 2040, no. 1, p. 080008, November 2018. https:\/\/doi.org\/10.1063\/1.5079142","DOI":"10.1063\/1.5079142"},{"key":"10_CR37","doi-asserted-by":"publisher","unstructured":"Wi\u015bniewski, R., Karatkevich, A., Adamski, M., Kur, D.: Application of comparability graphs in decomposition of Petri nets. In: 2014 7th International Conference on Human System Interactions (HSI), June 2014, pp. 216\u2013220 (2014). https:\/\/doi.org\/10.1109\/HSI.2014.6860478","DOI":"10.1109\/HSI.2014.6860478"},{"key":"10_CR38","unstructured":"Knuth, D.E.: Dancing links. arXiv:cs\/0011047, November 2000. Accessed 07 Jan 2022. http:\/\/arxiv.org\/abs\/cs\/0011047"},{"key":"10_CR39","doi-asserted-by":"publisher","unstructured":"Mart\u00ednez, J., Silva, M.: A simple and fast algorithm to obtain all invariants of a generalised Petri net. In: Girault, C., Reisig, W. (eds.) Application and Theory of Petri Nets, vol. 52, pp. 301\u2013310. Springer, Heidelberg (1982). https:\/\/doi.org\/10.1007\/978-3-642-68353-4_47","DOI":"10.1007\/978-3-642-68353-4_47"},{"issue":"4","key":"10_CR40","doi-asserted-by":"publisher","first-page":"1734","DOI":"10.1109\/TII.2017.2702564","volume":"13","author":"R Wi\u015bniewski","year":"2017","unstructured":"Wi\u015bniewski, R., Bazyd\u0142o, G., Gomes, L., Costa, A.: Dynamic partial reconfiguration of concurrent control systems implemented in FPGA devices. IEEE Trans. Industr. Inf. 13(4), 1734\u20131741 (2017). https:\/\/doi.org\/10.1109\/TII.2017.2702564","journal-title":"IEEE Trans. Industr. Inf."},{"key":"10_CR41","doi-asserted-by":"publisher","first-page":"32376","DOI":"10.1109\/ACCESS.2018.2836858","volume":"6","author":"R Wi\u015bniewski","year":"2018","unstructured":"Wi\u015bniewski, R.: Dynamic partial reconfiguration of concurrent control systems specified by Petri nets and implemented in Xilinx FPGA devices. IEEE Access 6, 32376\u201332391 (2018). https:\/\/doi.org\/10.1109\/ACCESS.2018.2836858","journal-title":"IEEE Access"},{"key":"10_CR42","doi-asserted-by":"publisher","unstructured":"Bazyd\u0142o, G.: Designing reconfigurable cyber-physical systems using unified modeling language. Energies 16(3), Article no. 3 (2023). https:\/\/doi.org\/10.3390\/en16031273","DOI":"10.3390\/en16031273"},{"key":"10_CR43","doi-asserted-by":"publisher","unstructured":"Gomes, L., Moutinho, F., Pereira, F.: IOPT-tools\u2014a web based tool framework for embedded systems controller development using Petri nets. In: 2013 23rd International Conference on Field Programmable Logic and Applications, September 2013, p. 1 (2013). https:\/\/doi.org\/10.1109\/FPL.2013.6645633","DOI":"10.1109\/FPL.2013.6645633"},{"key":"10_CR44","unstructured":"Bonet, P., Llad\u00f3, C.: PIPE v 2.5: a Petri net tool for performance modelling (2007)"},{"issue":"4","key":"10_CR45","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(4), 34\u201339 (2009). https:\/\/doi.org\/10.1145\/1530873.1530881","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"10_CR46","doi-asserted-by":"publisher","DOI":"10.1155\/2018\/2858375","volume":"2018","author":"Q Yu","year":"2018","unstructured":"Yu, Q., Cai, L., Tan, X.: Airport emergency rescue model establishment and performance analysis using colored Petri nets and CPN tools. Int. J. Aerosp. Eng. 2018, e2858375 (2018). https:\/\/doi.org\/10.1155\/2018\/2858375","journal-title":"Int. J. Aerosp. Eng."},{"key":"10_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-642-31131-4_22","volume-title":"PETRI NETS 2012","author":"M Heiner","year":"2012","unstructured":"Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy \u2013 a unifying Petri net tool. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 398\u2013407. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31131-4_22"},{"key":"10_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-319-19488-2_10","volume-title":"PETRI NETS 2015","author":"M Heiner","year":"2015","unstructured":"Heiner, M., Schwarick, M., Wegener, J.-T.: Charlie \u2013 an extensible petri net analysis tool. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 200\u2013211. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19488-2_10"},{"key":"10_CR49","doi-asserted-by":"publisher","unstructured":"van Hee, K., Oanea, O., Post, R., Somers, L., van der Werf, J.M.: Yasper: a tool for workflow modeling and analysis. In: Sixth International Conference on Application of Concurrency to System Design (ACSD\u201906), June 2006, pp. 279\u2013282 (2006). https:\/\/doi.org\/10.1109\/ACSD.2006.37","DOI":"10.1109\/ACSD.2006.37"},{"key":"10_CR50","unstructured":"JSARP - Simulador e Analisador de Redes de Petri. http:\/\/www.geocities.ws\/jsarp_project\/index-2.html. Accessed 21 Dec 2021"},{"key":"10_CR51","unstructured":"Oliviera Lino, F.G., Analisador e Simulador de Redes de Petri. Bachelor thesis, University of Rio de Janeiro, Rio de Janeiro (2007). http:\/\/www.geocities.ws\/jsarp_project\/downloads\/monografia2007.pdf. Accessed 11 Dec 2021"},{"key":"10_CR52","unstructured":"JARP. http:\/\/jarp.sourceforge.net\/us\/index.html. Accessed 21 Dec 2021"},{"key":"10_CR53","unstructured":"WOLFGANG - Petri Net Editor. IIG Telematics, 16 April 2021. https:\/\/github.com\/iig-uni-freiburg\/WOLFGANG. Accessed 21 Dec 2021"},{"key":"10_CR54","unstructured":"GreatSPN: The GreatSPN framework version 3.0. 21 December 2021. https:\/\/github.com\/greatspn\/SOURCES. Accessed 23 December 2021"},{"issue":"4","key":"10_CR55","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/1530873.1530876","volume":"36","author":"S Baarir","year":"2009","unstructured":"Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4\u20139 (2009). https:\/\/doi.org\/10.1145\/1530873.1530876","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"10_CR56","unstructured":"\u201cThe TINA toolbox Home Page - TIme petri Net Analyzer - by LAAS\/CNRS. http:\/\/projects.laas.fr\/tina\/. Accessed 23 Dec 2021"},{"key":"10_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"CAV 2005","author":"G Gardey","year":"2005","unstructured":"Gardey, G., Lime, D., Magnin, M., Roux, O.(H.): Romeo: a tool for analyzing time Petri nets. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 418\u2013423. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11513988_41"},{"key":"10_CR58","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-981-16-5203-5_2","volume-title":"Petri Nets for Modeling of Large Discrete Systems","author":"R Davidrajuh","year":"2021","unstructured":"Davidrajuh, R.: Introduction to GPenSIM. In: Davidrajuh, R. (ed.) Petri Nets for Modeling of Large Discrete Systems, pp. 15\u201327. Springer, Singapore (2021). https:\/\/doi.org\/10.1007\/978-981-16-5203-5_2"},{"key":"10_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"ICATPN 2000","author":"K Schmidt","year":"2000","unstructured":"Schmidt, K.: LoLA a low level analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 465\u2013474. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44988-4_27"},{"key":"10_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-030-53291-8_5","volume-title":"CAV 2020","author":"B Finkbeiner","year":"2020","unstructured":"Finkbeiner, B., Gieseking, M., Hecking-Harbusch, J., Olderog, E.-R.: AdamMC: a model checker for petri nets with transits against flow-LTL. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12225, pp. 64\u201376. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_5"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-33620-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T06:14:35Z","timestamp":1729491275000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-33620-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031336195","9783031336201"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-33620-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"28 May 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/petrinets2023.deec.fct.unl.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}