Design/CPN - A Computer Tool for Coloured Petri Nets.

Søren Christensen Jens Bæk Jørgensen Lars Michael Kristensen

Published in: TACAS (1997)

Keyphrases

coloured petri nets
formal verification
knowledge based systems
computer aided
optimal design
engineering design
conceptual model
database
case study
machine learning
computer systems
website
user friendly
decision making
design decisions
artificial intelligence
computer architecture
modeling tool
neural network