How to determine and use place flows in coloured Petri nets.

Søren Christensen Laure Petrucci

Published in: SMC (1998)

Keyphrases

coloured petri nets
real time
data sets
special case
formal verification
machine learning
image sequences
objective function
pattern recognition
digital libraries
information technology
cost function