Improving Model-Based Diagnosis through Algebraic Analysis: The Petri Net Challenge.

Luigi Portinale

Published in: AAAI/IAAI, Vol. 2 (1996)

Keyphrases

petri net
discrete event systems
model based diagnosis
colored petri nets
data analysis
dynamic systems
petri net model
web service composition