TY - GEN
T1 - Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems
T2 - 2023 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2023
AU - Wiśniewski, Remigiusz
AU - Patalas-Maliszewska, Justyna
AU - Wojnakowski, Marcin
AU - Topczak, Marcin
AU - Zhou, Mengchu
N1 - Publisher Copyright:
© 2023 IEEE.
PY - 2023
Y1 - 2023
N2 - This work deals with the verification of a decision-making system for additive manufacturing (AM) technology adoption specified by a Petri net. An innovative verification technique of a Petri net-based system is oriented toward practical applications, and can detect errors at the early design and modelling stage. The idea is illustrated by a real-life case study of supporting decision making in AM technology adoption affecting supply chain management (SCM). Two main issues are addressed. Firstly, making optimal decisions about AM technology requires models rarely possessed within a company. Therefore, this work proposes a model supporting the decision making related to the implementation of AM technology, based on a Petri net, by utilizing its main advantages: graphical modelling, and strong mathematical support of formal verification techniques. Contrary to the most popular analysis methods (which are bounded exponentially in a general case), it is proved that the presented method is bounded by a cubic polynomial with net size. Secondly, an investment in AM technology is often financially assessed and does not affect other processes, as in our SCM case. Hence, strong connectivity within the proposed Petri net-based model is examined.
AB - This work deals with the verification of a decision-making system for additive manufacturing (AM) technology adoption specified by a Petri net. An innovative verification technique of a Petri net-based system is oriented toward practical applications, and can detect errors at the early design and modelling stage. The idea is illustrated by a real-life case study of supporting decision making in AM technology adoption affecting supply chain management (SCM). Two main issues are addressed. Firstly, making optimal decisions about AM technology requires models rarely possessed within a company. Therefore, this work proposes a model supporting the decision making related to the implementation of AM technology, based on a Petri net, by utilizing its main advantages: graphical modelling, and strong mathematical support of formal verification techniques. Contrary to the most popular analysis methods (which are bounded exponentially in a general case), it is proved that the presented method is bounded by a cubic polynomial with net size. Secondly, an investment in AM technology is often financially assessed and does not affect other processes, as in our SCM case. Hence, strong connectivity within the proposed Petri net-based model is examined.
KW - Petri net
KW - additive manufacturing technology
KW - boundedness and deadlock
KW - decision support system
KW - linear algebra
KW - place invariants
KW - verification
UR - http://www.scopus.com/inward/record.url?scp=85187277820&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85187277820&partnerID=8YFLogxK
U2 - 10.1109/SMC53992.2023.10394156
DO - 10.1109/SMC53992.2023.10394156
M3 - Conference contribution
AN - SCOPUS:85187277820
T3 - Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
SP - 3316
EP - 3322
BT - 2023 IEEE International Conference on Systems, Man, and Cybernetics
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 1 October 2023 through 4 October 2023
ER -