Seto: A Framework for the Decomposition of Petri Nets and Transition Systems.

Viktor Teren Jordi Cortadella Tiziano Villa

Published in: DSD (2023)

Keyphrases

petri net
concurrent systems
petri net model
transition systems
artificial intelligence
colored petri nets
fuzzy petri net
reinforcement learning
process model
service composition