• DocumentCode
    3635015
  • Title

    Time semantics in Time Basic nets

  • Author

    A. N. Kovács;Š. Hudák

  • Author_Institution
    Technical University of Kosice/Department of Computers and Informatics, Kosice, Slovak Republic
  • fYear
    2010
  • Firstpage
    315
  • Lastpage
    319
  • Abstract
    Petri nets are a well known formalism for modeling and verification of different kinds of systems. Today´s time-critical systems require wide and precise modeling capabilities. For this reason different extension of Petri nets have been proposed, such as Time and Timed Petri nets, Stochastic Petri nets or Time Basic nets. In this paper we will focus our attention to Time Basic Nets, because they have a bigger modeling power then Time Petri nets and can be verified more easily then Stochastic Petri nets.
  • Keywords
    "Petri nets","Power system modeling","Stochastic processes","Real time systems","Fires","Clocks","Informatics","Time factors","Machine intelligence","Patient monitoring"
  • Publisher
    ieee
  • Conference_Titel
    Applied Machine Intelligence and Informatics (SAMI), 2010 IEEE 8th International Symposium on
  • Print_ISBN
    978-1-4244-6422-7
  • Type

    conf

  • DOI
    10.1109/SAMI.2010.5423710
  • Filename
    5423710
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3635015