SLAPN : A Tool for Slicing Algebraic Petri Nets.

Yasir Imtiaz Khan Nicolas Guelfi

Published in: PNSE @ Petri Nets (2014)

Keyphrases

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