Generalised composition operations for high-level Petri nets

被引：0
|
作者：
Best, Eike [1 ]
Lavrov, Alexander [1 ]
机构：
[1] Department of Parallel Systems, Faculty of Computer Science, Carl von Ossietzky Univ. Oldenburg, D-26111 Oldenburg, Germany
来源：
Fundamenta Informaticae | 1999年 / 40卷 / 2-3期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：125 / 163
相关论文
共 50 条
  • [1] Weak and strong composition of high-level Petri nets
    Best, E
    Lavrov, A
    CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 194 - 209
  • [2] HIGH-LEVEL ALGEBRAIC PETRI NETS
    KAN, CY
    HE, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 23 - 30
  • [3] Z AND HIGH-LEVEL PETRI NETS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 204 - 219
  • [4] Abstract Petri nets as a uniform approach to high-level petri nets
    Padberg, J
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 241 - 260
  • [5] Branching processes of high-level Petri nets
    Khomenko, V
    Koutny, M
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 458 - 472
  • [6] SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS
    GENRICH, HJ
    LAUTENBACH, K
    THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) : 109 - 136
  • [7] A methodology of testing high-level Petri nets
    Zhu, H
    He, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (08) : 473 - 489
  • [8] STOCHASTIC HIGH-LEVEL PETRI NETS AND APPLICATIONS
    LIN, CA
    MARINESCU, DC
    IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (07) : 815 - 825
  • [9] High-level hybrid petri nets: A definition
    Giua, A
    Usai, E
    PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 148 - 150
  • [10] From high-level Petri nets to SystemC
    Rust, C
    Rettberg, A
    Gossens, K
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1032 - 1038
12345