Object-Based High-Level Petri Nets as a formal approach to distributed information systems

被引：0
|
作者：
Guerrero, DDS
deFigueiredo, JCA
Perkusich, A
机构：
来源：
SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION | 1997年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this article we present an Object-Based High-Level Petri Net framework useful to the formal description and specification of distributed information systems. The G-CPN tool is based on the same principles of G-Nets Systems and Coloured Petri Nets. In order to allow the automatic analysis of G-CPN Systems, we present informally a mechanism of transformation into standard CP-Nets.
引用
收藏
页码：3383 / 3388
页数：6
相关论文
共 50 条
  • [31] 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
  • [32] SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS
    GENRICH, HJ
    LAUTENBACH, K
    THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) : 109 - 136
  • [33] A methodology of testing high-level Petri nets
    Zhu, H
    He, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (08) : 473 - 489
  • [34] STOCHASTIC HIGH-LEVEL PETRI NETS AND APPLICATIONS
    LIN, CA
    MARINESCU, DC
    IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (07) : 815 - 825
  • [35] 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
  • [36] CONFLICT HANDLING IN HIGH-LEVEL PETRI NETS
    JAVOR, A
    VIGH, A
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 39 (2-5): : 133 - 136
  • [37] 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
  • [38] Modelling mobility in high-level Petri nets
    Devillers, Raymond
    Klaudel, Hanna
    Koutny, Maciej
    SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 110 - +
  • [39] REACHABILITY TREES FOR HIGH-LEVEL PETRI NETS
    HUBER, P
    JENSEN, AM
    JEPSEN, LO
    JENSEN, K
    THEORETICAL COMPUTER SCIENCE, 1986, 45 (03) : 261 - 292
  • [40] PETRI NETS AS EXECUTABLE SPECIFICATIONS OF HIGH-LEVEL TIMED PARALLEL SYSTEMS
    Pommereau, Franck
    SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2005, 6 (04): : 71 - 81
12345