Rapid prototyping of parallel and distributed systems by means of high-level Petri nets

被引：0
|
作者：
Mikolajczak, B
Cabeza, A
Rumbut, JT
机构：
来源：
SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION | 1997年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The control flow of parallel or distributed application can be specified by means of high-level Petri nets. One of the aims of rapid prototyping is to provide a validation of the specification; another is to produce a real application code which can be used in the final implementation. We restrict our considerations in this paper to the first goal only. When high-level Petri nets are involved, such as colored Petri nets, then colored linear invariants contribute to map automatically a set of processes on a specific parallel architecture. The purpose of this paper is to present the state-of-the-art of the prototyping methodology and to illustrate it with a suitable example.
引用
收藏
页码：1735 / 1740
页数：6
相关论文
共 50 条
  • [1] Rapid prototyping of distributed computing systems using high-level Petri nets with objects
    Mikolajczak, B
    [J]. PROCEEDINGS OF THE HIGH-PERFORMANCE COMPUTING (HPC'98), 1998, : 388 - 393
  • [2] Design of parallel and distributed systems with high-level Petri nets using case technology
    Mikolajczak, B
    Rumbut, JT
    [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2288 - 2293
  • [3] Verification of distributed systems modelled by high-level Petri nets
    Kozura, VE
    Nepomniaschy, VA
    Novikov, RM
    [J]. PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 61 - 66
  • [4] PETRI NETS AS EXECUTABLE SPECIFICATIONS OF HIGH-LEVEL TIMED PARALLEL SYSTEMS
    Pommereau, Franck
    [J]. SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2005, 6 (04): : 71 - 81
  • [5] Petri nets as executable specifications of high-level timed parallel systems
    Pommereau, F
    [J]. COMPUTATIONAL SCIENCE - ICCS 2004, PT 3, PROCEEDINGS, 2004, 3038 : 322 - 330
  • [6] PARALLEL PROGRAM DESIGN USING HIGH-LEVEL PETRI NETS
    GORTON, I
    [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 1993, 5 (02): : 87 - 104
  • [7] FORMALIZING DISTRIBUTED SELF-ADAPTIVE SYSTEMS USING HIGH-LEVEL PETRI NETS
    Capra, Lorenzo
    Camilli, Matteo
    [J]. PROCEEDINGS OF THE 2019 SUMMER SIMULATION CONFERENCE (SUMMERSIM '19), 2019,
  • [8] Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification
    Moutinho, Filipe
    Gomes, Luis
    [J]. TECHNOLOGICAL INNOVATION FOR THE INTERNET OF THINGS, 2013, 394 : 221 - 228
  • [9] User interface prototyping based on UML scenarios and high-level Petri nets
    Elkoutbi, M
    Keller, RK
    [J]. APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 166 - 186
  • [10] HIGH-LEVEL ALGEBRAIC PETRI NETS
    KAN, CY
    HE, XD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 23 - 30
12345