In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 329-347. 1989.
Abstract: This paper presents an approach 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, this approach (based on a set of decomposition rules) allows a systematic construction of structure specification, thus making unnecessary consistency verification.