Title :
Structure design of distributed systems using interpreted Petri nets
Author :
Tankoano, J. ; Derniame, J.C.
Author_Institution :
Inst. Africain d´´Inf., Libreville, Gabon
Abstract :
An approach is presented to internal structure design of distributed systems in the field of process control. Starting from an IPN (interpreted Petri net) specifying the external behavior of a system, the approach (based on a set of decomposition rules) allows a systematic construction of structure specification, thus making unnecessary the consistency verification usually employed in top-down design methods. It is shown that the decomposition rules presented allow systematic construction of the internal structure of distributed systems. These rules free the designer from specifying intermodule cooperation and from verifying consistency between the external behavior and the internal structure specification
Keywords :
Petri nets; distributed processing; consistency verification; decomposition rules; distributed systems; intermodule cooperation; internal structure design; interpreted Petri nets; process control; structure design; structure specification; systematic construction; top-down design methods; Bipartite graph; Computational modeling; Computer languages; Design automation; Design methodology; Distributed control; Formal specifications; Message passing; Petri nets; Process control;
Conference_Titel :
Computer Software and Applications Conference, 1989. COMPSAC 89., Proceedings of the 13th Annual International
Conference_Location :
Orlando, FL
Print_ISBN :
0-8186-1964-3
DOI :
10.1109/CMPSAC.1989.65052
