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

Abstract

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
DOIs
StatePublished - 2021
Event2021 Winter Simulation Conference, WSC 2021 - Phoenix, United States
Duration: Dec 12 2021Dec 15 2021

Publication series

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

Conference

Conference2021 Winter Simulation Conference, WSC 2021
Country/TerritoryUnited States
CityPhoenix
Period12/12/2112/15/21

ASJC Scopus subject areas

  • Software
  • Modeling and Simulation
  • Computer Science Applications

Fingerprint

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

Cite this