Loose semantics of Petri nets

被引：0
|
作者：
Padberg, J [1 ]
Kreowski, HJ
机构：
[1] Tech Univ Berlin, Fak Informat & Elektrotech 4, Berlin, Germany
[2] Univ Bremen, Fachbereich Math & Informat, Bremen, Germany
来源：
FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING: ESSAYS DEDICATED TO HARTMUT EHRIG ON THE OCCASION OF HIS 60TH BIRTHDAY | 2005年 / 3393卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper, we propose a new,loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantics of a place/transition net reflects all its possible refinements and is given as a category of transition systems with alternative sequences of events over the net. The main result states that each plain morphism between two place/transitions nets induces a free construction between the corresponding semantic categories.
引用
收藏
页码：370 / 384
页数：15
相关论文
共 50 条
  • [1] ON THE SEMANTICS OF PETRI NETS
    MESEGUER, J
    MONTANARI, U
    SASSONE, V
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 286 - 301
  • [2] On Petri nets semantics for π-calculus
    School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China
    不详
    Kongzhi yu Juece Control Decis, 2007, 8 (864-868):
  • [3] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 595 - 604
  • [4] Semantics of Petri nets: A comparison
    Juhas, Gabriel
    Lehocki, Fedor
    Lorenz, Robert
    PROCEEDINGS OF THE 2007 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2007, : 596 - +
  • [5] ACP SEMANTICS FOR PETRI NETS
    Simonak, Slavomir
    Tomasek, Martin
    COMPUTING AND INFORMATICS, 2018, 37 (06) : 1464 - 1484
  • [6] APC Semantics for Petri Nets
    Simonak, Slavomir
    Hudak, Stefan
    Korecko, Stefan
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2008, 32 (03): : 253 - 274
  • [7] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    INFORMATION AND COMPUTATION, 1995, 117 (01) : 98 - 114
  • [8] Causal semantics for Petri nets with contacts
    Lomazova, IA
    PROGRAMMING AND COMPUTER SOFTWARE, 1999, 25 (04) : 214 - 221
  • [9] 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
  • [10] Complete Process Semantics of Petri Nets
    Juhas, Gabriel
    Lorenz, Robert
    Mauser, Sebastian
    FUNDAMENTA INFORMATICAE, 2008, 87 (3-4) : 331 - 365
12345