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 条
  • [31] Specification of distributed systems with actors using object oriented Petri nets
    Mikolajczak, B
    Ottlik, A
    INTELLIGENT INFORMATION SYSTEMS 2002, PROCEEDINGS, 2002, 17 : 423 - 434
  • [32] Cubic hierarchy Petri nets implementation using object-oriented expert system
    Zhang, Xinhui
    Zhu, Miaoliang
    Wu, Chunming
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2000, 21 (03): : 250 - 252
  • [33] A technique for analysing and testing object-oriented software using coloured Petri Nets
    Watanabe, H
    Tokuoka, H
    Wu, WX
    Saeki, M
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 182 - 190
  • [34] Specification of industrial digital controllers with Object-Oriented Petri Nets
    Machado, RJ
    Fernandes, JM
    Proenca, AJ
    ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, 1997, : 78 - 83
  • [35] AN OBJECT-ORIENTED APPROACH TO HIGH-LEVEL PETRI NETS
    CAMURRI, A
    FRANCHI, P
    VITALE, M
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 213 - 220
  • [36] Encapsulation in an object-oriented notation based on modular Petri nets
    Thanh, CB
    Klaudel, H
    Modelling and Simulation 2003, 2003, : 508 - 512
  • [37] Modeling a FMS with colored timed object-oriented Petri nets
    Tunghai Univ, Taichung, Taiwan
    J Chin Soc Mech Eng Trans Chin Inst Eng Ser C, 6 (573-580):
  • [38] PROTOTYPING A DISTRIBUTED OBJECT-ORIENTED OPERATING SYSTEM ON UNIX
    SHAPIRO, M
    WORKSHOP ON EXPERIENCES WITH DISTRIBUTED AND MULTIPROCESSOR SYSTEMS, 1989, : 311 - 331
  • [39] An Object-Oriented Modeling Framework for Petri Nets and Related Models
    Gholizadeh, Hamid Mohammad
    Azgomi, Mohammad Abdollahi
    2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2009, : 546 - +
  • [40] THE STUDY OF A FMS MODEL BASED ON OBJECT-ORIENTED PETRI NETS
    Liu, Quansheng
    Sun, Xiaoyan
    Ding, Songlin
    PROCEEDINGS OF THE 38TH INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2008, : 934 - 939
12345