Guidelines for Modelling Reactive Systems with Coloured Petri Nets.

Madalena Gonçalves João M. Fernandes

Published in: MOMPES (2012)

Keyphrases

reactive systems
coloured petri nets
formal verification
model checking
information flow
temporal logic
petri net
formal methods
control flow
real time systems
clinical guidelines
state machines
software development
development process
real world
software engineering
web services
machine learning