Formalising Concurrent UML State Machines Using Coloured Petri Nets.

Étienne André Mohamed Mahdi Benmoussa Christine Choppy

Published in: KSE (2014)

Keyphrases

state machines
coloured petri nets
state machine
sequence diagrams
petri net
formal verification
intermediate representation
fault tolerant
finite state machines
regression testing
test cases
database systems
pattern matching
dependency graph