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 条
  • [41] Analysis and verification queries over object-oriented Petri nets
    Ceska, M
    Janousek, V
    Vojnar, T
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 369 - 384
  • [42] A platform for distributed modeling and simulation of productive systems based on Petri nets and object-oriented paradigm
    Junqueira, Fabricio
    Villani, Emilia
    Miyagi, Paulo E.
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 907 - 914
  • [43] Modeling distributed business processes of virtual enterprises based on the object-oriented approach and Petri nets
    Gou, HM
    Huang, BQ
    Liu, WH
    Li, Y
    Ren, SJ
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2052 - 2057
  • [44] Object-Oriented Petri Nets with Changeable Structure (OPNs-CS) for Production System Modelling
    Z. Jiang
    M. J. Zuo
    P. Y. Tu
    R. Y. K. Fung
    The International Journal of Advanced Manufacturing Technology, 1999, 15 : 445 - 459
  • [45] Concurrent intelligent design and assembly planning (CIDAP): Object-oriented intelligent Petri nets (OOIPNs) approach
    Zha, XF
    Lim, SYE
    Fok, SC
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 3930 - 3935
  • [46] Verifying atomicity specifications for concurrent object-oriented software using model-checking
    Hatcliff, J
    Dwyer, R
    Dwyer, MB
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 175 - 190
  • [47] PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
    Mazal, Zdenek
    Koci, Radek
    Janousek, Vladimir
    Zboril, Frantiek
    ISDA 2008: EIGHTH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS, VOL 2, PROCEEDINGS, 2008, : 420 - 425
  • [48] An object-oriented Petri nets based integrated development environment for grid-based applications
    Shi, HY
    Ren, AH
    GRID AND COOPERATIVE COMPUTING, PT 1, 2004, 3032 : 809 - 812
  • [49] Sequence specification for concurrent object-oriented applications
    Wang, YM
    Vishnuvajjala, RV
    Tsai, WT
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1998, 8 (03) : 361 - 383
  • [50] Sequence specification for concurrent object-oriented applications
    Wang, YM
    Vishnuvajjala, RV
    Tsai, WT
    THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 163 - 170
12345