Tools for Curry-Coloured Petri Nets.

Michael Simon Daniel Moldt Dennis Schmitz Michael Haustermann

Published in: Petri Nets (2019)

Keyphrases

coloured petri nets
user friendly
software tools
computer vision
end users
decision support
design decisions
formal verification
real world
search engine
image segmentation
bayesian networks
expert systems
learning systems
model checking
computational tools