{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:48:30Z","timestamp":1743000510406,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031638503"},{"type":"electronic","value":"9783031638510"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-63851-0_19","type":"book-chapter","created":{"date-parts":[[2024,6,27]],"date-time":"2024-06-27T23:01:51Z","timestamp":1719529311000},"page":"269-279","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Transition Invariants in the Analysis\u00a0of Concurrent Systems Modelled by Petri Nets"],"prefix":"10.1007","author":[{"given":"Maxim","family":"Mali\u0144ski","sequence":"first","affiliation":[]},{"given":"Marcin","family":"Wojnakowski","sequence":"additional","affiliation":[]},{"given":"Remigiusz","family":"Wi\u015bniewski","sequence":"additional","affiliation":[]},{"given":"Andrzej\u00a0","family":"Obuchowicz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,28]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag, Berlin\u00a0 (2003). https:\/\/doi.org\/10.1007\/978-3-662-05324-9","DOI":"10.1007\/978-3-662-05324-9"},{"key":"19_CR2","doi-asserted-by":"publisher","unstructured":"Wi\u015bniewski, R., Patalas-Maliszewska, J., Wojnakowski, M., Topczak, M.: Interpreted Petri nets in modelling and analysis of physical resilient manufacturing systems. In: 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 1096\u20131102 (2022). https:\/\/doi.org\/10.1109\/SMC53654.2022.9945341","DOI":"10.1109\/SMC53654.2022.9945341"},{"key":"19_CR3","doi-asserted-by":"publisher","unstructured":"Wi\u015bniewski, R.: Prototyping of concurrent control systems implemented in FPGA devices. Springer International Publishing (2017). https:\/\/doi.org\/10.1007\/978-3-319-45811-3","DOI":"10.1007\/978-3-319-45811-3"},{"key":"19_CR4","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. The MIT Press, Cambridge, Massachuetts (2016)"},{"key":"19_CR5","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River, NJ, USA (1981)"},{"key":"19_CR6","doi-asserted-by":"publisher","unstructured":"Reisig, W.: Nets Consisting of places and transistions. In: Reisig, W. (ed.) Petri Nets: An Introduction, pp. 62\u201376. Springer, Berlin, Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-69968-9_6","DOI":"10.1007\/978-3-642-69968-9_6"},{"key":"19_CR7","doi-asserted-by":"publisher","unstructured":"Reisig, W.: Petri Nets: An Introduction. Springer-Verlag, Berlin Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-69968-9","DOI":"10.1007\/978-3-642-69968-9"},{"key":"19_CR8","doi-asserted-by":"publisher","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.) Technological Innovation for Applied AI Systems, pp. 83\u201391. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78288-7_8","DOI":"10.1007\/978-3-030-78288-7_8"},{"key":"19_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":"19_CR10","doi-asserted-by":"publisher","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 International Publishing, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07520-9_7","DOI":"10.1007\/978-3-031-07520-9_7"},{"key":"19_CR11","doi-asserted-by":"publisher","unstructured":"Amer-Yahia, C., Zerhouni, N., Moudni, A.E., Ferney, M.: Some subclasses of Petri nets and the analysis of their structural properties: a new approach. IEEE Trans. Syst. Man Cybern. - Part Syst. Hum. 29, 164\u2013172 (1999). https:\/\/doi.org\/10.1109\/3468.747851","DOI":"10.1109\/3468.747851"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"2305","DOI":"10.3390\/electronics10182305","volume":"10","author":"I Grobelna","year":"2021","unstructured":"Grobelna, I., Karatkevich, A.: Challenges in application of petri nets in manufacturing systems. Electronics 10, 2305 (2021). https:\/\/doi.org\/10.3390\/electronics10182305","journal-title":"Electronics"},{"key":"19_CR13","doi-asserted-by":"publisher","unstructured":"Karatkevich, A.: Dynamic Analysis of Petri Net-Based Discrete Systems. Springer-Verlag, Berlin\u00a0 (2007). https:\/\/doi.org\/10.1007\/978-3-540-71560-3","DOI":"10.1007\/978-3-540-71560-3"},{"key":"19_CR14","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. Appl. Math. Comput. Sci. 31, 647\u2013657 (2021). https:\/\/doi.org\/10.34768\/amcs-2021-0045","DOI":"10.34768\/amcs-2021-0045"},{"key":"19_CR15","unstructured":"Kovalyov, A., Esparza, J.: A polynomial algorithm to compute the concurrency relation of free-choice signal transition graphs. In: Proc Int WODES (1996)"},{"key":"19_CR16","doi-asserted-by":"publisher","unstructured":"Wi\u015bniewski, R., Patalas-Maliszewska, J., Wojnakowski, M., Topczak, M.: Modeling and analysis of a petri net-based system supporting implementation of additive manufacturing technologies. IEEE Trans. Autom. Sci. Eng., 1\u201311 (2023). https:\/\/doi.org\/10.1109\/TASE.2023.3301304","DOI":"10.1109\/TASE.2023.3301304"},{"key":"19_CR17","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, e140693 (2022)","journal-title":"Bull. Pol. Acad. Sci. Tech. Sci."},{"key":"19_CR18","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), pp. 1\u20139 (2022). https:\/\/doi.org\/10.1109\/FUZZ-IEEE55066.2022.9882766","DOI":"10.1109\/FUZZ-IEEE55066.2022.9882766"},{"key":"19_CR19","doi-asserted-by":"publisher","unstructured":"Lautenbach, K., Ridder, H.: Liveness in bounded petri nets which are covered by T-invariants. In: Valette, R. (ed.) Application and Theory of Petri Nets 1994, pp. 358\u2013375. Springer, Berlin (1994). https:\/\/doi.org\/10.1007\/3-540-58152-9_20","DOI":"10.1007\/3-540-58152-9_20"},{"key":"19_CR20","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":"19_CR21","unstructured":"Human-Centered Innovation: Powered by AI. https:\/\/www.technologyreview.com\/2021\/06\/10\/1043567\/human-centered-innovation-powered-by-ai\/, (Accessed 21 Feb 2024)"},{"key":"19_CR22","unstructured":"Human-centric manufacturing: How new approaches to technology design can transform European industry. https:\/\/cordis.europa.eu\/article\/id\/445250-human-centric-manufacturing-how-new-approaches-to-technology-design-can-transform-industry,\u00a0 (Accessed 21 Feb 2024)"},{"key":"19_CR23","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":"19_CR24","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/JSYST.2015.2460747","volume":"11","author":"Y Zhang","year":"2017","unstructured":"Zhang, Y., Qiu, M., Tsai, C.-W., Hassan, M.M., Alamri, A.: Health-CPS: healthcare cyber-physical system assisted by cloud and big data. IEEE Syst. J. 11, 88\u201395 (2017). https:\/\/doi.org\/10.1109\/JSYST.2015.2460747","journal-title":"IEEE Syst. J."},{"key":"19_CR25","doi-asserted-by":"publisher","unstructured":"Suraj, Z., Grochowalski, P.: PNeS in modelling, control and analysis of concurrent systems. In: Ramanna, S., Cornelis, C., Ciucci, D. (eds.) Rough Sets. pp. 279\u2013293. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-87334-9_24","DOI":"10.1007\/978-3-030-87334-9_24"},{"key":"19_CR26","doi-asserted-by":"publisher","unstructured":"Wi\u015bniewski, R., Patalas-Maliszewska, J., Wojnakowski, M., Topczak, M., Zhou, M.: Fast verification of petri net-based model of industrial decision-making systems: a case study. In: 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 3316\u20133322 (2023). https:\/\/doi.org\/10.1109\/SMC53992.2023.10394156","DOI":"10.1109\/SMC53992.2023.10394156"},{"key":"19_CR27","doi-asserted-by":"publisher","unstructured":"Sankaranarayanan, S., Sipma, H., Manna, Z.: Petri net analysis using invariant generation. In: Dershowitz, N. (ed.) Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp. 682\u2013701. Springer, Berlin (2003). https:\/\/doi.org\/10.1007\/978-3-540-39910-0_29","DOI":"10.1007\/978-3-540-39910-0_29"},{"key":"19_CR28","doi-asserted-by":"publisher","unstructured":"Chini, P., Furbach, F.: Petri Net invariant synthesis. In: Echihabi, K., Meyer, R. (eds.) Networked Systems, pp. 187\u2013205. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91014-3_13","DOI":"10.1007\/978-3-030-91014-3_13"},{"key":"19_CR29","doi-asserted-by":"publisher","first-page":"768","DOI":"10.3923\/itj.2012.768.774","volume":"11","author":"C Liu","year":"2012","unstructured":"Liu, C., Zeng, Q., Zou, J., Lu, F., Wu, Q.: Invariant decomposition conditions for petri nets based on the index of transitions. Inf. Technol. J. 11, 768\u2013774 (2012). https:\/\/doi.org\/10.3923\/itj.2012.768.774","journal-title":"Inf. Technol. J."},{"key":"19_CR30","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/s00236-019-00338-6","volume":"56","author":"P Jan\u010dar","year":"2019","unstructured":"Jan\u010dar, P., Purser, D.: Structural liveness of petri nets is expspace-hard and decidable. Acta Inform. 56, 537\u2013552 (2019). https:\/\/doi.org\/10.1007\/s00236-019-00338-6","journal-title":"Acta Inform."},{"key":"19_CR31","doi-asserted-by":"publisher","unstructured":"Bause, F.: Analysis of Petri nets with a dynamic priority method. In: Az\u00e9ma, P., Balbo, G. (eds.) Application and Theory of Petri Nets 1997, pp. 215\u2013234. Springer, Berlin (1997). https:\/\/doi.org\/10.1007\/3-540-63139-9_38","DOI":"10.1007\/3-540-63139-9_38"},{"key":"19_CR32","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1023\/A:1008740917111","volume":"15","author":"LE Pinzon","year":"1999","unstructured":"Pinzon, L.E., Hanisch, H.-M., Jafari, M., Boucher, T.: A comparative study of synthesis methods for discrete event controllers. Form. Methods Syst. Des. 15, 123\u2013167 (1999). https:\/\/doi.org\/10.1023\/A:1008740917111","journal-title":"Form. Methods Syst. Des."},{"key":"19_CR33","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1109\/70.864231","volume":"16","author":"F Balduzzi","year":"2000","unstructured":"Balduzzi, F., Giua, A., Menga, G.: First-order hybrid Petri nets: a model for optimization and control. IEEE Trans. Robot. Autom. 16, 382\u2013399 (2000). https:\/\/doi.org\/10.1109\/70.864231","journal-title":"IEEE Trans. Robot. Autom."}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Human-Centric Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-63851-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,27]],"date-time":"2024-06-27T23:04:38Z","timestamp":1719529478000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-63851-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031638503","9783031638510"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-63851-0_19","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"28 June 2024","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":"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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"doceis2024","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"}}]}}