• DocumentCode
    2068999
  • Title

    Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic

  • Author

    Bradley, Jeremy T. ; Dingle, Nicholas J. ; Harrison, Peter G. ; Knottenbelt, William J.

  • Author_Institution
    Imperial College London
  • fYear
    2003
  • fDate
    2-5 Sept 2003
  • Firstpage
    62
  • Lastpage
    71
  • Keywords
    Delay effects; Educational institutions; Logic; Petri nets; State-space methods; Steady-state; Stochastic processes; Stochastic systems; Time measurement; Voting;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Petri Nets and Performance Models, 2003. Proceedings. 10th International Workshop on
  • ISSN
    1063-6714
  • Print_ISBN
    0-7695-1976-8
  • Type

    conf

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