Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report.

Étienne André Mohamed Mahdi Benmoussa Christine Choppy

Published in: ESSS (2014)

Keyphrases

state machines
state machine
coloured petri nets
sequence diagrams
fault tolerant
petri net
finite state machines
recurrent networks
genetic algorithm
formal verification
intermediate representation
object oriented
database
high level
software engineering
test sequences