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 条
  • [1] Ad hoc systems management and specification with distributed Petri nets
    Sebastian Sosa, Juan
    Leger, Paul
    Fukuda, Hiroaki
    Cardozo, Nicolas
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2022, 169 : 117 - 129
  • [2] The use of object-oriented Petri nets in design specification of enterprise modelling
    He, FM
    Yan, JW
    Wu, QD
    PROCEEDINGS OF THE 3RD WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-5, 2000, : 2191 - 2195
  • [3] Formal modeling of cyber-physical systems using object-oriented Petri nets
    Li, Ye
    Wang, Yinghui
    Yu, Zhenhua
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2014, 41 (02): : 165 - 171
  • [4] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [5] 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
  • [6] SPECIFICATION OF SOFTWARE PIPELINING USING PETRI NETS
    RAJAGOPALAN, M
    ALLAN, VH
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1994, 22 (03) : 273 - 301
  • [7] Design of distributed manufacturing systems using UML and Petri nets
    Bordbar, B
    Giacomini, L
    Holding, DJ
    ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 2000, 2000, : 105 - 110
  • [8] Monitoring and Debugging Distributed Autonomous Systems using Petri Nets
    Lopez, Joaquin
    Perez, Diego
    Gayoso, Miguel
    Paz, Enrique
    WMSCI 2011: 15TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, 2011, : 216 - 221
  • [9] Utilization of Petri Nets for Specification of Virtual Reality Systems
    Dudlakova, Zuzana
    Korecko, Stefan
    Sobota, Branislav
    INFORMATICS 2013: PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON INFORMATICS, 2013, : 104 - 109
  • [10] Requirements specification and analysis of digital systems using fuzzy and marked Petri nets
    Shen, VRL
    Lai, FP
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1998, 28 (05): : 748 - 754
12345