{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:27:30Z","timestamp":1743049650948,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031360060"},{"type":"electronic","value":"9783031360077"}],"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-36007-7_15","type":"book-chapter","created":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T16:02:10Z","timestamp":1687622530000},"page":"205-215","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net"],"prefix":"10.1007","author":[{"given":"Mateusz","family":"Pop\u0142awski","sequence":"first","affiliation":[]},{"given":"Remigiusz","family":"Wi\u015bniewski","sequence":"additional","affiliation":[]},{"given":"Grzegorz","family":"Bazyd\u0142o","sequence":"additional","affiliation":[]},{"given":"Maxim","family":"Mali\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,25]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"Ryalat, M., ElMoaqet, H., AlFaouri, M.: Design of a smart factory based on cyber-physical systems and Internet of Things towards Industry 4.0. Appl. Sci. 13, 2156 (2023). https:\/\/doi.org\/10.3390\/app13042156","DOI":"10.3390\/app13042156"},{"key":"15_CR2","volume-title":"Introduction to Embedded Systems: A Cyber-Physical Systems Approach","author":"EA Lee","year":"2017","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach. MIT Press, Cambridge (2017)"},{"key":"15_CR3","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, 3\u201312 (2016). https:\/\/doi.org\/10.1049\/iet-cps.2016.0025","journal-title":"IET Cyber-Phys. Syst. Theory Appl."},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"74","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, 74 (2018). https:\/\/doi.org\/10.1007\/s10916-018-0921-x","journal-title":"J. Med. Syst."},{"key":"15_CR5","doi-asserted-by":"publisher","unstructured":"Wi\u015bniewski, R., Bazyd\u0142o, G., Szcze\u015bniak, P.: Low-cost FPGA hardware implementation of matrix converter switch control. IEEE Trans. Circ. Syst. II Express Briefs 66, 1177\u20131181 (2019). https:\/\/doi.org\/10.1109\/TCSII.2018.2875589","DOI":"10.1109\/TCSII.2018.2875589"},{"key":"15_CR6","doi-asserted-by":"publisher","unstructured":"Patalas-Maliszewska, J., Posdzich, M., Skrzypek, K.: Modelling Information for the burnishing process in a cyber\u2013physical production system. Int. J. Appl. Math. Comput. Sci. 32, 345\u2013354 (2022). https:\/\/doi.org\/10.34768\/amcs-2022-0025","DOI":"10.34768\/amcs-2022-0025"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"12360","DOI":"10.1109\/ACCESS.2017.2782881","volume":"6","author":"Y Guo","year":"2018","unstructured":"Guo, Y., Hu, X., Hu, B., Cheng, J., Zhou, M., Kwok, R.Y.K.: Mobile cyber physical systems: current challenges and future networking applications. IEEE Access 6, 12360\u201312368 (2018). https:\/\/doi.org\/10.1109\/ACCESS.2017.2782881","journal-title":"IEEE Access"},{"key":"15_CR8","doi-asserted-by":"publisher","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 363\u2013369 (2008). https:\/\/doi.org\/10.1109\/ISORC.2008.25","DOI":"10.1109\/ISORC.2008.25"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.3390\/en16010067","volume":"16","author":"R Wi\u015bniewski","year":"2023","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, 67 (2023). https:\/\/doi.org\/10.3390\/en16010067","journal-title":"Energies"},{"key":"15_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, 541\u2013580 (1989). https:\/\/doi.org\/10.1109\/5.24143","journal-title":"Proc. IEEE"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1109\/TSMC.2022.3170489","volume":"53","author":"Z Liu","year":"2023","unstructured":"Liu, Z., Hu, L., Hu, W., Tan, J.: Petri nets-based modeling solution for cyber-physical product control considering scheduling, deployment, and data-driven monitoring. IEEE Trans. Syst. Man Cybern. Syst. 53, 990\u20131002 (2023). https:\/\/doi.org\/10.1109\/TSMC.2022.3170489","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"15_CR12","doi-asserted-by":"publisher","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. Int. J. Appl. Math. Comput. Sci. 31, 647\u2013657 (2021). https:\/\/doi.org\/10.34768\/amcs-2021-0045","DOI":"10.34768\/amcs-2021-0045"},{"key":"15_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri Nets for Systems Engineering","author":"C Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-662-05324-9"},{"key":"15_CR14","doi-asserted-by":"publisher","unstructured":"Wi\u015bniewski, 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, Lisbon, Portugal, pp. 5843\u20135848. IEEE Press (2019). https:\/\/doi.org\/10.1109\/IECON.2019.8926692","DOI":"10.1109\/IECON.2019.8926692"},{"key":"15_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45811-3","volume-title":"Prototyping of Concurrent Control Systems Implemented in FPGA Devices","author":"R Wi\u015bniewski","year":"2017","unstructured":"Wi\u015bniewski, R.: Prototyping of Concurrent Control Systems Implemented in FPGA Devices. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-45811-3"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2478\/amcs-2018-0019","volume":"28","author":"B Li","year":"2018","unstructured":"Li, B., Khlif-Bouassida, M., Toguy\u00e9ni, A.: On\u2013the\u2013fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets. Int. J. Appl. Math. Comput. Sci. 28, 269\u2013281 (2018). https:\/\/doi.org\/10.2478\/amcs-2018-0019","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"15_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71560-3","volume-title":"Dynamic Analysis of Petri Net-Based Discrete Systems","author":"A Karatkevich","year":"2007","unstructured":"Karatkevich, A.: Dynamic Analysis of Petri Net-Based Discrete Systems. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71560-3"},{"key":"15_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04457-5","volume-title":"Petri Net Algebra","author":"E Best","year":"2001","unstructured":"Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/978-3-662-04457-5"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-10669-9_1","volume-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"R David","year":"2010","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"},{"key":"15_CR20","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":"Technological Innovation for Applied AI Systems","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":"15_CR21","unstructured":"Silva, M., Colom, J.M., Campos, J.: Linear algebraic techniques for the analysis of Petri nets. In: Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II, Tokyo, Japan, pp. 35\u201342. Mita Press (1992)"},{"key":"15_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, 185\u2013205 (1992). https:\/\/doi.org\/10.1016\/0304-3975(92)90299-U","journal-title":"Theor. Comput. Sci."},{"key":"15_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":"Application and Theory of Petri Nets 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":"15_CR24","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"},{"key":"15_CR25","doi-asserted-by":"publisher","first-page":"23407","DOI":"10.1109\/ACCESS.2019.2899316","volume":"7","author":"R Wi\u015bniewski","year":"2019","unstructured":"Wi\u015bniewski, R., Bazyd\u0142o, G., Szcze\u015bniak, P., Wojnakowski, M.: Petri net-based specification of cyber-physical systems oriented to control direct matrix converters with space vector modulation. IEEE Access 7, 23407\u201323420 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2899316","journal-title":"IEEE Access"},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"2856","DOI":"10.1109\/TSMC.2016.2531673","volume":"47","author":"I Grobelna","year":"2017","unstructured":"Grobelna, I., Wi\u015bniewski, R., Grobelny, M., Wi\u015bniewska, M.: Design and verification of real-life processes with application of Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 47, 2856\u20132869 (2017). https:\/\/doi.org\/10.1109\/TSMC.2016.2531673","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"15_CR27","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-031-07520-9_7","volume-title":"Technological Innovation for Digitalization and Virtualization","author":"M Wojnakowski","year":"2022","unstructured":"Wojnakowski, M., Pop\u0142awski, M., Wi\u015bniewski, R., Bazyd\u0142o, G.: Hippo-CPS: verification of boundedness, safeness and liveness of Petri net-based cyber-physical systems. In: Camarinha-Matos, L.M. (ed.) Technological Innovation for Digitalization and Virtualization, pp. 74\u201382. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07520-9_7"},{"key":"15_CR28","doi-asserted-by":"publisher","unstructured":"He, W., Zhang(Justin), Z., Li, W.: Information technology solutions, challenges, and suggestions for tackling the COVID-19 pandemic. Int. J. Inf. Manag. 57, 102287 (2021). https:\/\/doi.org\/10.1016\/j.ijinfomgt.2020.102287","DOI":"10.1016\/j.ijinfomgt.2020.102287"},{"key":"15_CR29","doi-asserted-by":"publisher","unstructured":"Foresti, R., Rossi, S., Magnani, M., Guarino Lo Bianco, C., Delmonte, N.: Smart society and artificial intelligence: big data scheduling and the global standard method applied to smart maintenance. Engineering 6, 835\u2013846 (2020). https:\/\/doi.org\/10.1016\/j.eng.2019.11.014","DOI":"10.1016\/j.eng.2019.11.014"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Connected Cyber Physical Spaces"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-36007-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T23:12:52Z","timestamp":1687993972000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-36007-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031360060","9783031360077"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-36007-7_15","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"25 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DoCEIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Doctoral Conference on Computing, Electrical and Industrial Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Monte Da Caparica","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":"5 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"doceis2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/doceis.dee.fct.unl.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"22","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":"47% - 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":"3","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":"3","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}