Login / Signup
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
Anne V. Ratzer
Lisa Wells
Henry Michael Lassen
Mads Laursen
Jacob Frank Qvortrup
Martin Stig Stissing
Michael Westergaard
Søren Christensen
Kurt Jensen
Published in:
ICATPN (2003)
Keyphrases
</>
coloured petri nets
formal verification
databases
end users
data sets
website
user friendly
software tools
real world
machine learning
information retrieval
multimedia
database systems
similarity measure
expert systems
visualization tools