MODULAR CONSTRUCTION AND PARTIAL ORDER SEMANTICS OF PETRI NETS

被引：0
|
作者：
VOGLER, W [1 ]
机构：
[1] TECH UNIV MUNICH, INST INFORMAT, W-8000 MUNICH 2, GERMANY
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 625卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：R3 / +
页数：1
相关论文
共 50 条
  • [1] EXECUTIONS - A NEW PARTIAL-ORDER SEMANTICS OF PETRI NETS
    VOGLER, W
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 91 (02) : 205 - 238
  • [2] A PARTIAL TRACE SEMANTICS FOR PETRI NETS
    DIEKERT, V
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 134 (01) : 87 - 105
  • [3] Model checking of time Petri nets based on partial order semantics
    Bieber, B
    Fleischhack, H
    [J]. CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 210 - 225
  • [4] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS
    VOGLER, W
    [J]. ACTA INFORMATICA, 1989, 26 (04) : 333 - 348
  • [5] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS
    VOGLER, W
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 542 - 551
  • [6] On semantics of Petri nets over partial algebra
    Juhás, G
    [J]. SOFSEM'99: THEORY AND PRACTICE OF INFORMATICS, 1999, 1725 : 414 - 421
  • [7] Partial Order Semantics of Types of Nets
    Lorenz, Robert
    Juhas, Gabriel
    Mauser, Sebastian
    [J]. SOFSEM 2009-THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2009, 5404 : 388 - +
  • [8] Process semantics of Petri nets over partial algebra
    Desel, J
    Juhás, G
    Lorenz, R
    [J]. APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 146 - 165
  • [9] ON THE SEMANTICS OF PETRI NETS
    MESEGUER, J
    MONTANARI, U
    SASSONE, V
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 286 - 301
  • [10] A partial order semantics for FIFO-nets
    Bernardeschi, C
    De Francesco, N
    Vaglini, G
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1998, E81D (08) : 773 - 782
12345