CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets.

Toshiyuki Miyamoto

Published in: PNSE @ Petri Nets (2016)

Keyphrases

petri net
state machines
state machine
pareto optimal
embedded real time systems
finite state machines
stochastic petri net
multi objective
discrete event systems
colored petri nets
petri net model
sequence diagrams
recurrent networks
knowledge base
fuzzy petri net
service composition
cooperative