• DocumentCode
    3526256
  • Title

    Multiple enabledness of transitions in Petri nets with time

  • Author

    Boyer, Marc ; Diaz, Michel

  • Author_Institution
    Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    219
  • Lastpage
    228
  • Abstract
    This paper discusses and formalises the benefits of using multiple enabled transitions for extensions of Petri nets having quantitative notions of time. It also points out that what could be thought as a straightforward extension actually implies some subtle underlying semantic choices. As an example, a complete semantics for Merlin´s (1974) time Petri nets is defined, based on the threshold notion
  • Keywords
    Petri nets; Petri nets; multiple enabled transitions; semantics; system design; time Petri nets; timed nets; Fires; Petri nets; Stochastic processes; Stochastic systems; Time factors;
  • 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.953371
  • Filename
    953371
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3526256