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 条
  • [21] Comparison of different semantics for Time Petri Nets
    Bérard, B
    Cassez, F
    Haddad, S
    Lime, D
    Roux, OH
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 293 - 307
  • [22] An event structure semantics for general Petri nets
    Hoogers, PW
    Kleijn, HCM
    Thiagarajan, PS
    [J]. THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 129 - 170
  • [23] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS
    VOGLER, W
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 542 - 551
  • [24] Reactive Semantics for Component Based Petri Nets
    Hammal, Youcef
    [J]. 2012 2ND IEEE INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND GRID COMPUTING (PDGC), 2012, : 795 - 805
  • [25] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS
    VOGLER, W
    [J]. ACTA INFORMATICA, 1989, 26 (04) : 333 - 348
  • [26] DATA-FLOW SEMANTICS FOR PETRI NETS
    GOLD, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 629 : 275 - 283
  • [27] On Causal Semantics of Petri Nets (Extended Abstract)
    van Glabbeek, Rob J.
    Goltz, Ursula
    Schicke, Jens-Wolfhard
    [J]. CONCUR 2011: CONCURRENCY THEORY, 2011, 6901 : 43 - +
  • [28] Comparative trace semantics of time Petri nets
    D. I. Bushin
    I. B. Virbitskaite
    [J]. Programming and Computer Software, 2015, 41 : 131 - 139
  • [29] Interval semantics for Petri nets with inhibitor arcs
    Alqarni, Mohammad
    Janicki, Ryszard
    [J]. THEORETICAL COMPUTER SCIENCE, 2018, 727 : 1 - 23
  • [30] Canonical Transition Set Semantics for Petri Nets
    Wang, Yunhe
    Jiao, Li
    [J]. APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 84 - 103
12345