The minimal solution of a problem in generalized nets
Vassia Atanassova · 2012
This paper offers a new approach to a problem in the theory of generalized nets, related to the representability of an arbitrary transition by a composition of set of transitions with fixed two input and two output places. It is proved that the proposed solution is minimal in terms of the numbers of transitions and places. Formulas for these numbers are derived, as well as formal representations of the transition condition predicates of each transition in the shown configuration.