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]

Authors

Imran Mahmood

This author has not been identified. Look up 'Imran Mahmood' in Google

Syed Hassan Askari

This author has not been identified. Look up 'Syed Hassan Askari' in Google

Hessam S. Sarjoughian

This author has not been identified. Look up 'Hessam S. Sarjoughian' in Google