Petri Nets
Theoretical Models and Analysis Methods for Concurrent Systems
كتاب من تأليف: Liu, Guanjun ; نشر في: 2022
طبعة:
Singapore:
Springer
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9789811963094
الموضوع
الإعلام الآلي
الكلمات الدالة:
Petri nets
time Petri nets
computation tree logic (CTL)
computation tree logic of knowledge (CTLK)
timed computation tree logic (TCTL)
reduced ordered binary decision diagram (ROBDD)
concurrency; model checking
bisimulation
real-time concurrent systems
