TY - GEN
T1 - Composability Verification of Complex Systems Using Colored Petri Nets
AU - Mahmood, Imran
AU - Askari, Syed Hassan
AU - Sarjoughian, Hessam S.
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021
Y1 - 2021
N2 - The discipline of component-based modeling and simulation offers promising gains including reductions in development cost, time, and system complexity. This paradigm promotes the use and reuse of modular components for adequate development of complex simulations. Achieving effective and meaningful model reuse through the composition of components still remains a daunting challenge. 'Composability', an integral part of this challenge, is the capability to select and assemble model components in various combinations to satisfy specific user requirements. In this paper, we propose the use of Colored Petri Nets for component-oriented model development, model composition, and the verification of composed models using state-space analysis technique. We present a case study of an elevator model as a proof of concept. Our case study explains the proposed process of developing and composing CPN-based model components and verifying the composed model using state-space analysis.
AB - The discipline of component-based modeling and simulation offers promising gains including reductions in development cost, time, and system complexity. This paradigm promotes the use and reuse of modular components for adequate development of complex simulations. Achieving effective and meaningful model reuse through the composition of components still remains a daunting challenge. 'Composability', an integral part of this challenge, is the capability to select and assemble model components in various combinations to satisfy specific user requirements. In this paper, we propose the use of Colored Petri Nets for component-oriented model development, model composition, and the verification of composed models using state-space analysis technique. We present a case study of an elevator model as a proof of concept. Our case study explains the proposed process of developing and composing CPN-based model components and verifying the composed model using state-space analysis.
UR - http://www.scopus.com/inward/record.url?scp=85126083124&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85126083124&partnerID=8YFLogxK
U2 - 10.1109/WSC52266.2021.9715302
DO - 10.1109/WSC52266.2021.9715302
M3 - Conference contribution
AN - SCOPUS:85126083124
T3 - Proceedings - Winter Simulation Conference
BT - 2021 Winter Simulation Conference, WSC 2021
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2021 Winter Simulation Conference, WSC 2021
Y2 - 12 December 2021 through 15 December 2021
ER -