• DocumentCode
    1874967
  • Title

    The minimal solution of a problem in generalized nets

  • Author

    Atanassova, Vassia

  • Author_Institution
    Inst. of Inf. & Commun. Technol., Sofia, Bulgaria
  • fYear
    2012
  • fDate
    6-8 Sept. 2012
  • Firstpage
    159
  • Lastpage
    163
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Systems (IS), 2012 6th IEEE International Conference
  • Conference_Location
    Sofia
  • Print_ISBN
    978-1-4673-2276-8
  • Type

    conf

  • DOI
    10.1109/IS.2012.6335208
  • Filename
    6335208