Title :
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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.638272
