The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation.

Mohamed Garoui Belhassen Mazigh Abderrafiaa Koukam

Published in: SNPD (2015)

Keyphrases

petri net
petri net model
colored petri nets
stochastic petri net
high level petri nets
fuzzy petri net
mathematical model
embedded real time systems
sequence diagrams
state machine
process model
state machines
simulation model
neural network
workflow model
business process
low cost
fuzzy logic
control system