Transformation from live sequence charts to colored Petri nets.

Binsan Khadka Boleslaw Mikolajczak

Published in: SCSC (2007)

Keyphrases

colored petri nets
petri net
database
real time
databases
data mining
image sequences
multiscale
search algorithm
data streams
probabilistic model