Unfolding Semantics of Petri Nets Based on Token Flows.

Robin Bergenthum Sebastian Mauser Robert Lorenz Gabriel Juhás

Published in: Fundam. Informaticae (2009)

Keyphrases

petri net
petri net model
manufacturing systems
colored petri nets
discrete event systems
service composition
fuzzy petri net
concurrent systems
state machines
process algebra
discrete dynamical systems
neural network
ims ld
expert systems
stochastic petri net