A Categorical Semantics for Bounded Petri Nets.

Fabrizio Romano Genovese Fosco Loregiàn Daniele Palombi

Published in: CoRR (2021)

Keyphrases

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