In: Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989, Orlando, FL, USA, pages 41-51. Washington, DC, USA: IEEE Comput. Soc. Press, 1989.
Abstract: An approach is presented to internal structure design of distributed systems in the field of process control. Starting from an 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. 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: structure design; interpreted net; process control; decomposition rule.