Login / Signup
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems.
Aznam Yacoub
Maâmar El-Amine Hamri
Claudia S. Frydman
Chungman Seo
Bernard P. Zeigler
Published in:
Int. J. Simul. Process. Model. (2017)
Keyphrases
</>
discrete event systems
timed petri nets
discrete event
petri net
colored petri nets
simulation model
telecommunication networks
dynamic systems
complex systems
model based diagnosis
failure diagnosis
mathematical model
model checking
special case
database systems
agent based models