PUTTING HIGH-LEVEL PETRI NETS TO WORK IN INDUSTRY

被引：32
|
作者：
VANDERAALST, WMP
机构：
[1] Department of Mathematics and Computing Science, Eindhoven University of Technology, 5600 MB Eindhoven
来源：
COMPUTERS IN INDUSTRY | 1994年 / 25卷 / 01期
关键词：
HIGH-LEVEL PETRI NETS; APPLICATIONS OF PETRI NETS;
D O I：
10.1016/0166-3615(94)90031-0
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Petri nets exist for over 30 years. Especially in the last decade Petri nets have been put into practice extensively. Thanks to several useful extensions and the availability of computer tools, Petri nets have become a mature tool for modelling and analysing industrial systems. This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical Petri net model. This approach has been used to model and analyze a variety of systems in application domains ranging from logistics to office automation.
引用
收藏
页码：45 / 54
页数：10
相关论文
共 50 条
  • [1] HIGH-LEVEL ALGEBRAIC PETRI NETS
    KAN, CY
    HE, XD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 23 - 30
  • [2] Z AND HIGH-LEVEL PETRI NETS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 204 - 219
  • [3] Abstract Petri nets as a uniform approach to high-level petri nets
    Padberg, J
    [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 241 - 260
  • [4] PUTTING PETRI NETS TO WORK
    AGERWALA, T
    [J]. COMPUTER, 1979, 12 (12) : 85 - 94
  • [5] Branching processes of high-level Petri nets
    Khomenko, V
    Koutny, M
    [J]. 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
    [J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) : 109 - 136
  • [7] STOCHASTIC HIGH-LEVEL PETRI NETS AND APPLICATIONS
    LIN, CA
    MARINESCU, DC
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (07) : 815 - 825
  • [8] A methodology of testing high-level Petri nets
    Zhu, H
    He, XD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (08) : 473 - 489
  • [9] High-level hybrid petri nets: A definition
    Giua, A
    Usai, E
    [J]. 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
    [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1032 - 1038
12345