A Categorical Semantics for Guarded Petri Nets.

Fabrizio Genovese David I. Spivak

Published in: ICGT (2020)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
process algebra
colored petri nets
service composition
fuzzy petri net
logic programming
stochastic petri net
concurrent systems
expert systems
state machines
neural network
process model
simulation model