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

Author

Mikolajczak, Boleslaw ; Cabeza, Alberto ; Rumbut, John T., Jr.

Author_Institution

Dept. of Comput. & Inf. Sci., Massachusetts Univ., Dartmouth, MA, USA

Volume

2

fYear

1997

fDate

12-15 Oct 1997

Firstpage

1735

Abstract

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

Keywords

Petri nets; distributed processing; formal specification; parallel architectures; software prototyping; colored linear invariants; distributed systems; high-level Petri nets; parallel architecture; parallel systems; rapid prototyping; specification validation; Application software; Computer architecture; Concurrent computing; Distributed computing; Information science; Military computing; Parallel architectures; Petri nets; Power system modeling; Prototypes;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on

Conference_Location

Orlando, FL

ISSN

1062-922X

Print_ISBN

0-7803-4053-1

Type

conf

DOI

10.1109/ICSMC.1997.638272

Filename

638272