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 条
  • [21] Intention structures modelling using Object Oriented Petri Nets
    Zboril, Frantisek, Jr.
    Koci, Radek
    PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS, 2007, : 33 - +
  • [22] 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):
  • [23] Distributed concurrent object-oriented software
    Broy, M
    FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 83 - 95
  • [24] Research on the Integration of Object-oriented Petri Nets and QUEST
    Wei, Bisheng
    Ye, Wenhua
    Liu, Xia
    ADVANCES IN ENGINEERING DESIGN AND OPTIMIZATION III, PTS 1 AND 2, 2012, 201-202 : 143 - 146
  • [25] Improvements in model checking for Object-Oriented Petri Nets
    Hasa, L
    Ceska, M
    ISAS/CITSA 2004: INTERNATIONAL CONFERENCE ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS AND APPLICATIONS AND 10TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS ANALYSIS AND SYNTHESIS, VOL 3, PROCEEDINGS, 2004, : 269 - 274
  • [26] Application of Petri-Nets in Object-Oriented Environment
    Bedok, David
    2016 17TH IEEE INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INFORMATICS (CINTI 2016), 2016, : 117 - 122
  • [27] Application of object-oriented Petri nets to industrial electronics
    Miyamoto, Toshiyuki
    Kumagai, Sadatoshi
    IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS, 2007, : 64 - 69
  • [28] Approaches to integrate Petri nets and object-oriented concepts
    Zapf, M
    Heinzl, A
    WIRTSCHAFTSINFORMATIK, 2000, 42 (01): : 36 - +
  • [29] On the use of coloured Petri nets for object-oriented design
    Barros, JP
    Gomes, L
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 117 - 136
  • [30] A survey of object-oriented Petri nets and analysis methods
    Miyamoto, T
    Kumagai, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (11) : 2964 - 2971
12345