Synthesis of Petri Nets from Infinite Partial Languages with VipTool.

Robin Bergenthum Sebastian Mauser

Published in: AWPN (2008)

Keyphrases

petri net
discrete event systems
petri net model
colored petri nets
manufacturing systems
high level petri nets
fuzzy petri net
service composition
state machines
stochastic petri net
ims ld
sequence diagrams
concurrent systems