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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.