A symbolic simulation mechanism for well-formed coloured Petri nets.

Giovanni Chiola Giuliana Franceschinis Rossano Gaeta

Published in: Annual Simulation Symposium (1992)

Keyphrases

coloured petri nets
simulation model
databases
automatically generated
formal verification
real time
database systems
image processing
case study
video sequences
collision detection
simulation software
discrete event simulation