Abstract
In design of systems, we generally start with a high-level specification and refine it stepwise until a sufficient low-level specification is reached. This paper deals with the following condition/event net (C/E net) construction problem: given a partial language as specification which is described hierarchically, construct a C/E net whose activity coincides with the set of all prefixes of the given partial language. The solution of this problem may be found by solving a series of C/E net construction problems step by step. The paper studies how the solutions of low-level problems have to do with those of high-level problems. It also presents a hierarchical solution technique.
