Petri Nets and Algebraic Calculi of Processes.

Gérard Boudol Gérard Roucairol Robert de Simone

Published in: STACS (1985)

Keyphrases

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