FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS

被引：0
|
作者：
VOGLER, W
机构：
来源：
ACTA INFORMATICA | 1989年 / 26卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：333 / 348
页数：16
相关论文
共 50 条
  • [1] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS
    VOGLER, W
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 542 - 551
  • [2] MODULAR CONSTRUCTION AND PARTIAL ORDER SEMANTICS OF PETRI NETS
    VOGLER, W
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 625 : R3 - +
  • [3] ON THE SEMANTICS OF PETRI NETS
    MESEGUER, J
    MONTANARI, U
    SASSONE, V
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 286 - 301
  • [4] ACP SEMANTICS FOR PETRI NETS
    Simonak, Slavomir
    Tomasek, Martin
    [J]. COMPUTING AND INFORMATICS, 2018, 37 (06) : 1464 - 1484
  • [5] Semantics of Petri nets: A comparison
    Juhas, Gabriel
    Lehocki, Fedor
    Lorenz, Robert
    [J]. PROCEEDINGS OF THE 2007 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2007, : 596 - +
  • [6] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 595 - 604
  • [7] APC Semantics for Petri Nets
    Simonak, Slavomir
    Hudak, Stefan
    Korecko, Stefan
    [J]. INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2008, 32 (03): : 253 - 274
  • [8] Loose semantics of Petri nets
    Padberg, J
    Kreowski, HJ
    [J]. FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING: ESSAYS DEDICATED TO HARTMUT EHRIG ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 3393 : 370 - 384
  • [9] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    [J]. INFORMATION AND COMPUTATION, 1995, 117 (01) : 98 - 114
  • [10] Modular analysis of Petri nets
    Christensen, S
    Petrucci, L
    [J]. COMPUTER JOURNAL, 2000, 43 (03): : 224 - 242
12345