Composability Verification of Complex Systems Using Colored Petri Nets

التفاصيل البيبلوغرافية
العنوان: Composability Verification of Complex Systems Using Colored Petri Nets
المؤلفون: Mahmood, Imran, Askari, Syed Hassan, Sarjoughian, Hessam S.
المصدر: 2021 Winter Simulation Conference (WSC) Simulation Conference (WSC), 2021 Winter. :1-11 Dec, 2021
Relation: 2021 Winter Simulation Conference (WSC)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781665433112
تدمد:15584305
DOI:10.1109/WSC52266.2021.9715302