A Categorical Semantics for Guarded Petri Nets

被引：3
|
作者：
Genovese, Fabrizio [1 ]
Spivak, David I. [2 ]
机构：
[1] Statebox, Amsterdam, Netherlands
[2] MIT, Boston, MA USA
来源：
GRAPH TRANSFORMATION, ICGT 2020 | 2020年 / 12150卷
关键词：
D O I：
10.1007/978-3-030-51372-6_4
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：57 / 74
页数：18
相关论文
共 50 条
  • [1] A Categorical Semantics for Bounded Petri Nets
    Genovese, Fabrizio
    Loregian, Fosco
    Palombi, Daniele
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (372): : 59 - 71
  • [2] A Categorical Semantics for Hierarchical Petri Nets
    Genovese, Fabrizio Romano
    Herold, Jelle
    Loregian, Fosco
    Palombi, Daniele
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 51 - 68
  • [3] ON THE SEMANTICS OF PETRI NETS
    MESEGUER, J
    MONTANARI, U
    SASSONE, V
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 286 - 301
  • [4] On Petri nets semantics for π-calculus
    School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China
    不详
    [J]. Kongzhi yu Juece Control Decis, 2007, 8 (864-868):
  • [5] ACP SEMANTICS FOR PETRI NETS
    Simonak, Slavomir
    Tomasek, Martin
    [J]. COMPUTING AND INFORMATICS, 2018, 37 (06) : 1464 - 1484
  • [6] Semantics of Petri nets: A comparison
    Juhas, Gabriel
    Lehocki, Fedor
    Lorenz, Robert
    [J]. PROCEEDINGS OF THE 2007 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2007, : 596 - +
  • [7] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 595 - 604
  • [8] APC Semantics for Petri Nets
    Simonak, Slavomir
    Hudak, Stefan
    Korecko, Stefan
    [J]. INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2008, 32 (03): : 253 - 274
  • [9] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    [J]. INFORMATION AND COMPUTATION, 1995, 117 (01) : 98 - 114
  • [10] Loose semantics of Petri nets
    Padberg, J
    Kreowski, HJ
    [J]. FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING: ESSAYS DEDICATED TO HARTMUT EHRIG ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 3393 : 370 - 384
12345