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
    [J]. 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
    [J]. PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 61 - 66
  • [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] Modeling Dynamic Systems with High-Level Petri Nets with Object-Orientation
    Brezovan, Marius
    Liana, Stanescu
    [J]. PROCEEDINGS OF THE 2016 INTERNATIONAL SYMPOSIUM ON INNOVATIONS IN INTELLIGENT SYSTEMS AND APPLICATIONS (INISTA), 2016,
  • [5] Formal aspects for semantic service modeling based on high-level Petri nets
    Koehler, Michael
    Ortmann, Jan
    [J]. 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 - +
  • [6] Formal verification of complex business processes based on high-level Petri nets
    Kheldoun, Ahmed
    Barkaoui, Kamel
    Ioualalen, Malika
    [J]. INFORMATION SCIENCES, 2017, 385 : 39 - 54
  • [7] Rapid prototyping of parallel and distributed systems by means of high-level Petri nets
    Mikolajczak, B
    Cabeza, A
    Rumbut, JT
    [J]. 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
  • [8] FORMALIZING DISTRIBUTED SELF-ADAPTIVE SYSTEMS USING HIGH-LEVEL PETRI NETS
    Capra, Lorenzo
    Camilli, Matteo
    [J]. PROCEEDINGS OF THE 2019 SUMMER SIMULATION CONFERENCE (SUMMERSIM '19), 2019,
  • [9] Design of parallel and distributed systems with high-level Petri nets using case technology
    Mikolajczak, B
    Rumbut, JT
    [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2288 - 2293
  • [10] Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification
    Moutinho, Filipe
    Gomes, Luis
    [J]. TECHNOLOGICAL INNOVATION FOR THE INTERNET OF THINGS, 2013, 394 : 221 - 228
12345