Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets

被引：2
|
作者：
Ceska, M [1 ]
Janousek, V [1 ]
Vojnar, T [1 ]
机构：
[1] Brno Univ Technol, Dept Comp Engn & Sci, Brno, Czech Republic
来源：
KYBERNETES | 2002年 / 31卷 / 9-10期
关键词：
cybernetics; distributed applications; rapid prototyping; object-oriented computing;
D O I：
10.1108/03684920210443491
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents several research issues associated with the PNtalk language that is based on a certain kind of object-wiented Petri nets (OOPNs) and intended mainly for modelling, prototyping, and verifying concurrent and distributed applications. The paper reviews the main concepts of PNtalk and OOPNs followed by a proposal of a system allowing prototypes based on PNtalk to be run in a distributed way. Furthermore, the first step made towards state spaces-based formal analysis and verification over PNtalk OOPNs are also briefly mentioned in the paper.
引用
收藏
页码：1289 / 1299
页数：11
相关论文
共 50 条
  • [1] Modelling of business processes using Object-oriented Petri nets
    Ziegler, P
    Szczerbicka, H
    SIMULATION: PAST, PRESENT AND FUTURE, 1998, : 107 - 111
  • [2] Specification of distributed systems with actors using object-oriented Petri nets
    Mikolajczak, B
    Ottlik, A
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3134 - 3140
  • [3] Generating coloured Petri nets of concurrent object-oriented programs
    Thanh, CB
    Modelling and Simulation 2004, 2004, : 289 - 293
  • [4] An object-oriented modular Petri Nets for modeling service oriented applications
    Wang, Ching Huey
    Wang, Feng Jian
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 479 - +
  • [5] A method of concurrent Object-Oriented Design using High-Level Petri Nets
    Mukhin, D
    Mikolajczak, B
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 295 - 300
  • [6] Modularization of Petri Nets using object-oriented concepts
    Philippi, S
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 84 - 89
  • [7] Modeling a distributed railway interlocking system with object-oriented Petri nets
    Hei, X.
    Mochizuki, H.
    Takahashi, S.
    Nakamura, H.
    Fukuda, M.
    Iwata, K.
    Sato, K.
    COMPUTERS IN RAILWAYS X: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2006, 88 : 309 - +
  • [8] Hierarchical modelling and control of flexible assembly systems using object-oriented Petri nets
    Adamou, M
    Zerhouni, SN
    Bourjault, A
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1998, 11 (01) : 18 - 33
  • [9] Modelling of a multi-threaded processor pipeline using object-oriented Petri nets
    Ziegler, P
    Szczerbicka, H
    ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, 1998, : 200 - 207
  • [10] Object-oriented petri nets for modelling and analysis of automated manufacturing systems
    Tunghai Univ, Taichung, Taiwan
    Comput Integr Manuf Syst, 2 (111-125):
12345