Title :
The minimal solution of a problem in generalized nets
Author :
Atanassova, Vassia
Author_Institution :
Inst. of Inf. & Commun. Technol., Sofia, Bulgaria
Abstract :
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.
Keywords :
Petri nets; Petri nets; arbitrary transition representability; formal representation; generalized nets theory; problem minimal solution; transition condition predicate; Equations; Flowcharts; Indexes; Mathematical model; Object oriented modeling; Visualization; Zinc; generalized nets;
Conference_Titel :
Intelligent Systems (IS), 2012 6th IEEE International Conference
Conference_Location :
Sofia
Print_ISBN :
978-1-4673-2276-8
DOI :
10.1109/IS.2012.6335208
