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 条
  • [1] AN OBJECT-ORIENTED APPROACH TO HIGH-LEVEL PETRI NETS
    CAMURRI, A
    FRANCHI, P
    VITALE, M
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 213 - 220
  • [2] Verification of distributed systems modelled by high-level Petri nets
    Kozura, VE
    Nepomniaschy, VA
    Novikov, RM
    PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 61 - 66
  • [3] Modeling DEDS with object-oriented high-level petri nets-consistent nets on object-oriented high-level petri nets
    Ningbo Univ, Ningbo, China
    Zidonghua Xuebao, 3 (319-325):
  • [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] Modeling Dynamic Systems with High-Level Petri Nets with Object-Orientation
    Brezovan, Marius
    Liana, Stanescu
    PROCEEDINGS OF THE 2016 INTERNATIONAL SYMPOSIUM ON INNOVATIONS IN INTELLIGENT SYSTEMS AND APPLICATIONS (INISTA), 2016,
  • [6] Formal verification method of simulation scenario based on high-level Petri nets
    Control and Simulation Center, Harbin Institute of Technology, Harbin 150001, China
    Kongzhi yu Juece Control Decis, 2006, 11 (1208-1213):
  • [7] Formal aspects for semantic service modeling based on high-level Petri nets
    Koehler, Michael
    Ortmann, Jan
    INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 1, PROCEEDINGS, 2006, : 107 - +
  • [8] Formal verification of complex business processes based on high-level Petri nets
    Kheldoun, Ahmed
    Barkaoui, Kamel
    Ioualalen, Malika
    INFORMATION SCIENCES, 2017, 385 : 39 - 54
  • [9] Rapid prototyping of parallel and distributed systems by means of high-level Petri nets
    Mikolajczak, B
    Cabeza, A
    Rumbut, JT
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 1735 - 1740
  • [10] FORMALIZING DISTRIBUTED SELF-ADAPTIVE SYSTEMS USING HIGH-LEVEL PETRI NETS
    Capra, Lorenzo
    Camilli, Matteo
    PROCEEDINGS OF THE 2019 SUMMER SIMULATION CONFERENCE (SUMMERSIM '19), 2019,
12345