Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets.

Published in: PARELEC (2002)

Keyphrases

dynamic systems
petri net
colored petri nets
linear time invariant
petri net model
complex systems
discrete event
discrete event systems
concurrent systems
qualitative reasoning
consistency based diagnosis
dynamical systems
fuzzy petri net
state machines
machine learning
asynchronous circuits
model based diagnosis