Generating conditions for preserving the properties of controlled discrete event systems.

Nadezhda V. Nagul

Published in: Autom. Remote. Control. (2016)

Keyphrases

discrete event systems
petri net
timed petri nets
complex systems
sufficient conditions
model based diagnosis
discrete event
telecommunication networks
physical laws
database systems
failure diagnosis
search algorithm