Login / Signup
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
Kurt Jensen
Lars Michael Kristensen
Lisa Wells
Published in:
Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases
</>
coloured petri nets
concurrent systems
formal verification
model checking
petri net
temporal logic
distributed systems
process algebra
software tools
transition systems
information technology
decision support
building blocks
modelling language