论文标题
护卫培养皿网的分类语义
A Categorical Semantics for Guarded Petri Nets
论文作者
论文摘要
我们建立在培养皿网和文献中已经研究过的自由对称严格的单体类别之间的对应关系，并为培养皿提供了守卫的彼得里斯网。这有两种口味：确定性和副作用。使用Grothendieck结构，我们展示了如何在网络中内部化守卫语义。
We build on the correspondence between Petri nets and free symmetric strict monoidal categories already investigated in the literature, and present a categorical semantics for Petri nets with guards. This comes in two flavors: Deterministic and with side-effects. Using the Grothendieck construction, we show how the guard semantics can be internalized in the net itself.
