The Practitioner's Guide to Coloured Petri Nets.

Lars Michael Kristensen Søren Christensen Kurt Jensen

Published in: Int. J. Softw. Tools Technol. Transf. (1998)

Keyphrases

coloured petri nets
formal verification
project management
real time
real world
genetic algorithm
three dimensional
video sequences
cooperative