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