Abstract executions of stochastic discrete event systems.

Michel Batteux Tatiana Prosvirnova Antoine B. Rauzy

Published in: Int. J. Crit. Comput. Based Syst. (2022)

Keyphrases

discrete event systems
timed petri nets
petri net
discrete event
complex systems
telecommunication networks
model based diagnosis
failure diagnosis
low level
high level
dynamic systems
databases
object oriented
markov chain
temporal constraints
mathematical models