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 条
  • [21] Comparative trace semantics of time Petri nets
    D. I. Bushin
    I. B. Virbitskaite
    Programming and Computer Software, 2015, 41 : 131 - 139
  • [22] An event structure semantics for general Petri nets
    Hoogers, PW
    Kleijn, HCM
    Thiagarajan, PS
    THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 129 - 170
  • [23] Interval semantics for Petri nets with inhibitor arcs
    Alqarni, Mohammad
    Janicki, Ryszard
    THEORETICAL COMPUTER SCIENCE, 2018, 727 : 1 - 23
  • [24] Canonical Transition Set Semantics for Petri Nets
    Wang, Yunhe
    Jiao, Li
    APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 84 - 103
  • [25] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS
    VOGLER, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 542 - 551
  • [26] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS
    VOGLER, W
    ACTA INFORMATICA, 1989, 26 (04) : 333 - 348
  • [27] Reactive Semantics for Component Based Petri Nets
    Hammal, Youcef
    2012 2ND IEEE INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND GRID COMPUTING (PDGC), 2012, : 795 - 805
  • [28] A collective interpretation semantics for reversing Petri nets
    Philippou, Anna
    Psara, Kyriaki
    THEORETICAL COMPUTER SCIENCE, 2022, 924 : 148 - 170
  • [29] On semantics of Petri nets over partial algebra
    Juhás, G
    SOFSEM'99: THEORY AND PRACTICE OF INFORMATICS, 1999, 1725 : 414 - 421
  • [30] On occurrence net semantics for Petri nets with contacts
    Lomazova, IA
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 317 - 328
12345