Formalising concurrent UML state machines using coloured Petri nets.

Étienne André Mohamed Mahdi Benmoussa Christine Choppy

Published in: Formal Aspects Comput. (2016)

Keyphrases

state machines
coloured petri nets
state machine
sequence diagrams
petri net
formal verification
fault tolerant
finite state machines
test cases
intermediate representation
regression testing
reactive systems
formal methods
genetic algorithm
model checking
object oriented
data structure
artificial intelligence