• DocumentCode
    3525998
  • Title

    Embedded processes in Generalized Stochastic Petri Nets

  • Author

    Balbo, G. ; Bruell, S.C. ; Sereno, M.

  • Author_Institution
    Dipt. di Inf., Torino Univ., Italy
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    71
  • Lastpage
    80
  • Abstract
    We show that a particular class of Generalized Stochastic Petri Nets have stationary probabilities that exhibit a product form. Efficient solution algorithms can be developed for the computation of the performance indices of such Product-Form GSPNs. These algorithms avoid the generation of the underlying state space. Hence, large PF-GSPN models can now be effectively studied
  • Keywords
    Petri nets; formal specification; performance evaluation; stochastic processes; embedded processes; generalized stochastic Petri nets; performance indices computation; product-form GSPNs; stationary probabilities; Cities and towns; Computer science; Concurrent computing; Delay; Petri nets; Power system modeling; State-space methods; Steady-state; Stochastic processes; Stochastic systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Petri Nets and Performance Models, 2001. Proceedings. 9th International Workshop on
  • Conference_Location
    Aachen
  • ISSN
    1063-6714
  • Print_ISBN
    0-7695-1248-8
  • Type

    conf

  • DOI
    10.1109/PNPM.2001.953357
  • Filename
    953357
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3525998