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 条
  • [21] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 595 - 604
  • [22] Semantics of Petri nets: A comparison
    Juhas, Gabriel
    Lehocki, Fedor
    Lorenz, Robert
    PROCEEDINGS OF THE 2007 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2007, : 596 - +
  • [23] ACP SEMANTICS FOR PETRI NETS
    Simonak, Slavomir
    Tomasek, Martin
    COMPUTING AND INFORMATICS, 2018, 37 (06) : 1464 - 1484
  • [24] APC Semantics for Petri Nets
    Simonak, Slavomir
    Hudak, Stefan
    Korecko, Stefan
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2008, 32 (03): : 253 - 274
  • [25] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    INFORMATION AND COMPUTATION, 1995, 117 (01) : 98 - 114
  • [26] Loose semantics of Petri nets
    Padberg, J
    Kreowski, HJ
    FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING: ESSAYS DEDICATED TO HARTMUT EHRIG ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 3393 : 370 - 384
  • [27] ON INFINITE COMPUTATIONS IN DENOTATIONAL SEMANTICS
    DEBAKKER, JW
    MEYER, JJC
    ZUCKER, JI
    THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) : 53 - 82
  • [28] Universality in Infinite Petri Nets
    Zaitsev, Dmitry A.
    MACHINES, COMPUTATIONS, AND UNIVERSALITY, MCU 2015, 2015, 9288 : 180 - 197
  • [29] INFINITE BEHAVIOR OF PETRI NETS
    VALK, R
    THEORETICAL COMPUTER SCIENCE, 1983, 25 (03) : 311 - 341
  • [30] Processes and unfoldings: concurrent computations in adhesive categories
    Baldan, Paolo
    Corradini, Andrea
    Heindel, Tobias
    Koenig, Barbara
    Sobocinski, Pawel
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2014, 24 (04)
12345