Composability Verification of Complex Systems Using Colored Petri Nets

Imran Mahmood, Syed Hassan Askari, Hessam S. Sarjoughian. Composability Verification of Complex Systems Using Colored Petri Nets. In Winter Simulation Conference, WSC 2021, Phoenix, AZ, USA, December 12-15, 2021. pages 1-11, IEEE, 2021. [doi]

Abstract

Abstract is missing.