Algebraic tools for the performance evaluation of discrete event systems.

Guy Cohen Pierre Moller Jean-Pierre Quadrat Michel Viot

Published in: Proc. IEEE (1989)

Keyphrases

discrete event systems
petri net
model based diagnosis
complex systems
telecommunication networks
temporal constraints
failure diagnosis
discrete event
high level
timed petri nets
databases
video sequences
simulation model
network management