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] Specification of a batch plant using process algebra and Petri nets
    Falkman, P
    Lennartson, B
    Tittus, N
    2005 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2005, : 339 - 344
  • [22] Implementation of distributed control architecture for robotic manufacturing systems using Petri nets
    Yasuda, C.
    2006 IMACS: Multiconference on Computational Engineering in Systems Applications, Vols 1 and 2, 2006, : 1155 - 1160
  • [23] Specification of a batch plant using process algebra and petri nets
    Falkman, Petter
    Lennartson, Bengt
    Tittus, Michael
    CONTROL ENGINEERING PRACTICE, 2009, 17 (09) : 1004 - 1015
  • [24] Software for coloured Petri nets oriented to flexible manufacturing systems
    Lefranc, G
    Vera, P
    González, N
    Valenzuela, P
    MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 221 - 226
  • [25] Software for stochastic Petri Nets oriented to flexible manufacturing systems
    Lefranc, G
    Vera, P
    Gonzalez, N
    Valenzuela, P
    ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, 1997, : 171 - 176
  • [26] Process modeling and analysis of manufacturing supply chain networks using object-oriented Petri nets
    Dong, M
    Chen, FF
    ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2001, 17 (1-2) : 121 - 129
  • [27] Bi-relational P/T Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems
    Martinik, Ivo
    DIGITAL INFORMATION PROCESSING AND COMMUNICATIONS, PT 1, 2011, 188 : 222 - 236
  • [28] Distributed Petri nets ROS
    Ebert, Sebastian
    Mey, Johannes
    Schoene, Rene
    Goetz, Sebastian
    Assmann, Uwe
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2024, 20 (04) : 531 - 557
  • [29] Design and Distributed Control of Discrete Event Robotic Manufacturing Systems using Petri Nets
    Yasuda, Gen'ichi
    2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS ( ICAL 2009), VOLS 1-3, 2009, : 1860 - 1865
  • [30] A model-based software engineering of parallel, and distributed systems using Petri nets
    Mikolajczak, B
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 284 - 288
12345