Composability Verification of Complex Systems Using Colored Petri Nets

Imran Mahmood, Syed Hassan Askari, Hessam S. Sarjoughian

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


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.

Original languageEnglish (US)
Title of host publication2021 Winter Simulation Conference, WSC 2021
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781665433112
StatePublished - 2021
Externally publishedYes
Event2021 Winter Simulation Conference, WSC 2021 - Phoenix, United States
Duration: Dec 12 2021Dec 15 2021

Publication series

NameProceedings - Winter Simulation Conference
ISSN (Print)0891-7736


Conference2021 Winter Simulation Conference, WSC 2021
Country/TerritoryUnited States

ASJC Scopus subject areas

  • Software
  • Modeling and Simulation
  • Computer Science Applications


Dive into the research topics of 'Composability Verification of Complex Systems Using Colored Petri Nets'. Together they form a unique fingerprint.

Cite this