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 条
  • [31] On semantics of Petri nets over partial algebra
    Juhás, G
    [J]. SOFSEM'99: THEORY AND PRACTICE OF INFORMATICS, 1999, 1725 : 414 - 421
  • [32] A compositional petri nets semantics for basic lotos
    Department of Computer Science, USTO, Algeria
    [J]. Inf. Technol. J., 2007, 1 (110-116): : 110 - 116
  • [33] On occurrence net semantics for Petri nets with contacts
    Lomazova, IA
    [J]. FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 317 - 328
  • [34] Observability of continuous Petri nets with infinite server semantics
    Mahulea, Cristian
    Recalde, Laura
    Silva, Manuel
    [J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2010, 4 (02) : 219 - 232
  • [35] Towards a Consistent Semantics for Unsafe Time Petri Nets
    Abdelli, Abdelkrim
    [J]. ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 42 - 49
  • [36] Comparing Semantics Under Strong Timing of Petri Nets
    Virbitskaite, Irina
    Bushin, Dmitry
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 376 - 384
  • [37] MODELING THE SEMANTICS OF SMALLTALK-80 WITH PETRI NETS
    CHRISTODOULAKIS, DN
    [J]. SIGPLAN NOTICES, 1989, 24 (04): : 156 - 158
  • [38] On Interval Process Semantics of Petri Nets with Inhibitor Arcs
    Alqarni, Mohammed
    Janicki, Ryszard
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 77 - 97
  • [39] Petri nets fluidification revisited: Semantics and steady state
    Recalde, Laura
    Silva, Manuel
    [J]. Journal Europeen des Systemes Automatises, 2001, 35 (04): : 435 - 449
  • [40] Unfolding Semantics of Petri Nets Based on Token Flows
    Bergenthum, Robin
    Mauser, Sebastian
    Lorenz, Robert
    Juhas, Gabriel
    [J]. FUNDAMENTA INFORMATICAE, 2009, 94 (3-4) : 331 - 360
12345