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 条
  • [21] A high-level Petri nets-based approach to verifying task structures
    Lee, J
    Lai, LF
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2002, 14 (02) : 316 - 335
  • [22] Z AND HIGH-LEVEL PETRI NETS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 204 - 219
  • [23] Design of intelligent mechatronical systems with high-level Petri nets
    Koch, M
    Rust, C
    Kleinjohann, B
    PROCEEDINGS OF THE 2003 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS (AIM 2003), VOLS 1 AND 2, 2003, : 217 - 222
  • [24] Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets
    Chen, Liqiong
    Shao, Zhiqing
    Fan, Guisheng
    Wang, Xiuying
    PROCEEDINGS OF 2008 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2008, : 476 - 481
  • [25] High-Level Petri Nets with Object-Orientation - A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism
    Brezovan, Marius
    Burdescu, Dumitru
    Ganea, Eugen
    Stanescu, Liana
    INTELLIGENT DISTRIBUTED COMPUTING IV, 2010, 315 : 219 - 228
  • [26] OBJECT-BASED APPROACH TO PROGRAMMING DISTRIBUTED SYSTEMS
    TANENBAUM, AS
    BAL, HE
    BENHASSEN, S
    KAASHOEK, MF
    CONCURRENCY-PRACTICE AND EXPERIENCE, 1994, 6 (04): : 235 - 249
  • [27] Distributed dynamic programming using concurrent object-orientedness with Actors visualized by high-level Petri nets
    Computer and Info. Sci. Department, Univ. of Massachusetts Dartmouth, North Dartmouth, MA 02747, United States
    不详
    Comput Math Appl, 11 (23-34):
  • [28] Distributed dynamic programming using concurrent object-orientedness with Actors visualised by high-level Petri nets
    Mikolajczak, B
    Rumbut, JT
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1999, 37 (11-12) : 23 - 34
  • [29] Workflow modeling for Internet-based commerce: An approach based on high-level Petri nets
    Weitz, W
    TRENDS IN DISTRIBUTED SYSTEMS FOR ELECTRONIC COMMERCE, 1998, 1402 : 166 - 178
  • [30] Performance partitioning impact in distributed simulation of high-level algebraic Petri nets
    Djemame, K
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2003, 150 (02): : 121 - 132
12345