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 条
  • [41] Open distributed supervisory system design using Petri nets
    Bastidas, G
    Villani, E
    Junqueira, F
    Miyagi, PE
    2003 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, 2003, : 712 - 717
  • [42] A Distributed Control Approach to Automated Manufacturing Systems With Complex Routes and Operations Using Petri Nets
    Yang, Yan
    Hu, Hesuan
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (10): : 3670 - 3684
  • [43] Distributed Monitoring of Temporal System Properties using Petri Nets
    Baldellon, Olivier
    Fabre, Jean-Charles
    Roy, Matthieu
    2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012), 2012, : 398 - 399
  • [44] Rapid prototyping of distributed computing systems using high-level Petri nets with objects
    Mikolajczak, B
    PROCEEDINGS OF THE HIGH-PERFORMANCE COMPUTING (HPC'98), 1998, : 388 - 393
  • [45] Modular rewritable Petri nets: An efficient model for dynamic distributed systems
    Capra, Lorenzo
    Köhler-Bußmeier, Michael
    Theoretical Computer Science, 2024, 990
  • [46] Object-oriented design of FMS control software based on object modeling technique diagrams and Petri nets
    Venkatesh, K
    Zhou, MC
    JOURNAL OF MANUFACTURING SYSTEMS, 1998, 17 (02) : 118 - 136
  • [47] Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
    Lima, Bruno
    Faria, Joao Pascoal
    PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2016, : 230 - 235
  • [48] Specification of timed authentication protocols with colored Petri nets
    Jakubowska, G
    Srebrny, M
    ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 383 - 392
  • [49] Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification
    Pereira, Fernando
    Gomes, Luis
    TECHNOLOGICAL INNOVATION FOR CYBER-PHYSICAL SYSTEMS, 2016, 470 : 65 - 76
  • [50] Model-based occluded object recognition using Petri nets
    Zhou, C
    Hura, GS
    AUTOMATIC TARGET RECOGNITION VIII, 1998, 3371 : 105 - 112
12345