Login / Signup
Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets.
Dmitri M. Beloglazov
Mikhail Mashukov
V. A. Nepomnyashchiy
Published in:
Autom. Control. Comput. Sci. (2012)
Keyphrases
</>
colored petri nets
finite state automata
telecommunication systems
petri net
finite state machines
real time
hybrid automata
web services
decision making
cyber security
data model
np hard
social network analysis
matching algorithm
model checking