Petri net diagnoser for DES modeled by finite state automata.

Marcos Vicente Moreira Felipe Gomes Cabral Oumar Diene

Published in: CDC (2012)

Keyphrases

petri net
finite state automata
finite state machines
petri net model
hybrid automata
service composition
colored petri nets
fuzzy petri net
ims ld
story generation
stochastic petri net
web service composition
expert systems
process model