On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations

被引：0
|
作者：
Sassone, V.
机构：
来源：
Bulletin of the European Association for Theoretical Computer Science | 1994年 / 53期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Causal semantics for Petri nets with contacts
    Lomazova, IA
    PROGRAMMING AND COMPUTER SOFTWARE, 1999, 25 (04) : 214 - 221
  • [32] Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets
    Bergenthum, Robin
    Folz-Weinstein, Sabine
    Kovar, Jakub
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 286 - 306
  • [33] Complete Process Semantics of Petri Nets
    Juhas, Gabriel
    Lorenz, Robert
    Mauser, Sebastian
    FUNDAMENTA INFORMATICAE, 2008, 87 (3-4) : 331 - 365
  • [34] A coalgebraic semantics for causality in Petri nets
    Bruni, Roberto
    Montanari, Ugo
    Sammartino, Matteo
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (06) : 853 - 883
  • [35] A Categorical Semantics for Bounded Petri Nets
    Genovese, Fabrizio
    Loregian, Fosco
    Palombi, Daniele
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (372): : 59 - 71
  • [36] A Categorical Semantics for Hierarchical Petri Nets
    Genovese, Fabrizio Romano
    Herold, Jelle
    Loregian, Fosco
    Palombi, Daniele
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 51 - 68
  • [37] A PARTIAL TRACE SEMANTICS FOR PETRI NETS
    DIEKERT, V
    THEORETICAL COMPUTER SCIENCE, 1994, 134 (01) : 87 - 105
  • [38] A Categorical Semantics for Guarded Petri Nets
    Genovese, Fabrizio
    Spivak, David I.
    GRAPH TRANSFORMATION, ICGT 2020, 2020, 12150 : 57 - 74
  • [39] Bayesian network semantics for Petri nets
    Bruni, Roberto
    Melgratti, Hernan
    Montanari, Ugo
    THEORETICAL COMPUTER SCIENCE, 2020, 807 (807) : 95 - 113
  • [40] A causal semantics for time Petri nets
    Aura, T
    Lilius, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 409 - 447
12345