Abstract
A reasonable formulation of Petri net construction problem and the solution of the problem are important to the rational development of discrete event systems. This paper deals with the following condition/event-net (C/E-net) construction problem: given a partial language over a set of events as specification, construct a C/E-net which generates the same partial language as the specification using the only events described in the specification. It first shows a necessary and sufficient condition for the problem to be solvable. It next discusses the properties of solutions and then presents a method of finding solutions. The method constructs a C/E-net with less redundant conditions.
