In: Fifth International Conference on Systems Engineering, pages 181-186. New York: IEEE, 1987.
Abstract: This paper presents a method based on Petri nets for formally describing the static and the dynamic characteristics of any kind of industrial plant. The method provides a context-free grammar for defining in a hierarchical fashion the various plant components together with the needed regulations and evolution laws.