Evolutive prototyping of heterogeneous distributed systems using hierarchical algebraic Petri nets

被引:0
|
作者
Buchs, D
Hulaas, J
机构
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents several extensions to a new evolutive prototyping process, called object-oriented mixed prototyping. Our application field is complex distributed systems modelled by the means of CO-OPN, a hierarchical algebraic Petri net language. CO-OPN being a strong synchronous language, we also show an original implementation scheme for its high-level communication model in heterogeneous wide-area networks.
引用
收藏
页码:3021 / 3026
页数:6
相关论文
共 50 条
  • [41] Hierarchical colored Petri nets based components for workflow systems
    Zhou, Feng
    Bo, Rui-Feng
    Huang, Hong-Zhong
    Ling, Dan
    Miao, Qiang
    [J]. JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY, 2006, 20 (10) : 1527 - 1533
  • [42] Virtual prototyping of automated manufacturing systems with Geometry-driven Petri nets
    Weber-Jahnke, Jens H.
    Stier, Jochen
    [J]. COMPUTER-AIDED DESIGN, 2009, 41 (12) : 942 - 951
  • [43] Distributed cooperation modeling for maintenance using Petri nets and multi-agents systems
    David, SV
    Christophe, L
    Noureddine, Z
    [J]. 2003 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE IN ROBOTICS AND AUTOMATION, VOLS I-III, PROCEEDINGS, 2003, : 366 - 371
  • [44] A group RPC protocol analysis for distributed network management systems using Petri nets
    Lee, JK
    Lee, CS
    Lee, KH
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 4382 - 4387
  • [45] Design and Distributed Control of Discrete Event Robotic Manufacturing Systems using Petri Nets
    Yasuda, Gen'ichi
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS ( ICAL 2009), VOLS 1-3, 2009, : 1860 - 1865
  • [46] A model-based software engineering of parallel, and distributed systems using Petri nets
    Mikolajczak, B
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 284 - 288
  • [47] Dependability analysis of large-scale distributed systems using Stochastic Petri Nets
    Muppala, JK
    Lin, C
    [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 3033 - 3038
  • [48] A NEW METHODOLOGY FOR ANALYZING DISTRIBUTED SYSTEMS MODELED BY PETRI NETS
    SARKAR, D
    DAS, SK
    AGRAWAL, VK
    PATNAIK, LM
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1990, 31 (3-4) : 153 - 165
  • [49] Control of distributed discrete event systems modeled as Petri nets
    Guan, XY
    Holloway, LE
    [J]. PROCEEDINGS OF THE 1997 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1997, : 2342 - 2347
  • [50] Ad hoc systems management and specification with distributed Petri nets
    Sebastian Sosa, Juan
    Leger, Paul
    Fukuda, Hiroaki
    Cardozo, Nicolas
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2022, 169 : 117 - 129