Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets.

Viktor Teren Jordi Cortadella Tiziano Villa

Published in: DSD (2022)

Keyphrases

petri net
concurrent systems
transition systems
reactive systems
petri net model
temporal logic
discrete event systems
model checking
stochastic petri net
fuzzy petri net
service composition
web service composition
colored petri nets
process model
control flow
finite state
distributed systems
decision making