Characterization of timed well-formed Petri nets behavior by means of occurrence equations.

Giovanni Chiola

Published in: PNPM (1995)

Keyphrases

petri net
petri net model
discrete event systems
colored petri nets
manufacturing systems
stochastic petri net
ims ld
fuzzy petri net
process model
discrete dynamical systems
concurrent systems
control system
cellular automata
service composition