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] Specification of distributed systems with actors using object-oriented Petri nets
    Mikolajczak, B
    Ottlik, A
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3134 - 3140
  • [2] Specification of distributed systems using multi-level Petri nets
    Ramos, FF
    Zuñiga, F
    Alcala, A
    Piza, I
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 604 - 609
  • [3] Specification of industrial digital controllers with Object-Oriented Petri Nets
    Machado, RJ
    Fernandes, JM
    Proenca, AJ
    ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, 1997, : 78 - 83
  • [4] 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
  • [5] 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
  • [6] Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets
    Ceska, M
    Janousek, V
    Vojnar, T
    KYBERNETES, 2002, 31 (9-10) : 1289 - 1299
  • [7] Object-oriented specification and open distributed systems
    Johnsen, EB
    Owe, O
    FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 137 - 164
  • [8] 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
  • [9] 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 - +
  • [10] Modularization of Petri Nets using object-oriented concepts
    Philippi, S
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 84 - 89
12345