In: Automation and Remote Control, Vol. 58, No. 6-2, pages 1058-1065. 1998.
Abstract: Methods for a formalized description of the structure and behavior of a class of hierarchical systems with embedding are presented. The system structure is represented as a hierarchy of diagrams, each including more than one level of embeddability. The system behavior is described in terms of synchronized operation graphs, the so-called `marked' Petri nets.
Keywords: Petri nets, formalized descriptions, hierarchical systems.