Petri Nets
Theoretical Models and Analysis Methods for Concurrent Systems
Livre Ecrit par: Liu, Guanjun ; Publié en: 2022
Edition:
Singapore:
Springer
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9789811963094
Thème
Informatique
Mots clés:
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
