Specification of distributed systems with actors using object oriented Petri nets

被引：0

作者：

Mikolajczak, B ^{[1
]}

Ottlik, A ^{[1
]}

机构：

[1] Univ Massachusetts, Coll Engn, Dept Comp & Informat Sci, Dartmouth, MA 02747 USA

来源：

INTELLIGENT INFORMATION SYSTEMS 2002, PROCEEDINGS | 2002年 / 17卷

关键词：

distributed computing with actors; concurrent object-oriented programming; Petri nets;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The aim of this paper is to combine three methodologies and related technologies: distributed computing with actors, concurrent object-oriented programming, and Petri nets. A final outcome is a formal specification of a distributed software system with actors by means of object-oriented Petri nets. In particular, PNTalk tool and related methodology are applied to specify a distributed stack.

引用

页码：423 / 434

页数：12

共 50 条

[21] Generating and using state spaces of object-oriented Petri nets
Ceska, M
Janousek, V
Vojnar, T
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2001, 16 (03): : 183 - 193
[22] Assembly systems control models translation in an object oriented language environment using object oriented Petri nets hierarchical formalism.
Adamou, M
Bourjault, A
SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 3924 - 3929
[23] VERIFICATION OF ERROR RECOVERY SPECIFICATION FOR DISTRIBUTED DATA BY USING COLORED PETRI NETS
AKATSU, M
MURATA, T
KURIHARA, K
IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (10): : 3159 - 3167
[24] Object-oriented petri nets for modelling and analysis of automated manufacturing systems
Tunghai Univ, Taichung, Taiwan
Comput Integr Manuf Syst, 2 (111-125):
[25] Object-oriented Petri nets for modelling and analysis of automated manufacturing systems
Wang, LC
COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1996, 9 (02): : 111 - 125
[26] SPECIFICATION AND ANALYSIS OF PARALLEL DISTRIBUTED SOFTWARE AND SYSTEMS BY PETRI NETS WITH TRANSITION ENABLING FUNCTIONS
PAPELIS, YE
CASAVANT, TL
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (03) : 252 - 261
[27] Nested Petri nets - a formalism for specification and verification of multi-agent distributed systems
Lomazova, Irina A.
Fundamenta Informaticae, 2000, 43 (01) : 195 - 214
[28] A Component Modular Modeling Approach based on Object Oriented Petri Nets for the Performance Analysis of Distributed Discrete Event Systems
Masri, Aladdin
Bourdeaud'huy, Thomas
Toguyeni, Armand
ICNS: 2009 FIFTH INTERNATIONAL CONFERENCE ON NETWORKING AND SERVICES, 2009, : 222 - 227
[29] Model checking in object-oriented Petri nets
Rodrigues, CL
Guerrero, DDS
de Figueiredo, JCA
2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4977 - 4982
[30] Constraint programming with object-oriented Petri nets
Sanders, MJ
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 289 - 294

← 1 2 3 4 5 →