• DocumentCode
    3019214
  • Title

    Weak boundedness of timed continuous Petri nets

  • Author

    Guangyou Ji ; Mingzhe Wang

  • Author_Institution
    Dept. of Control Sci. & Eng., Huazhong Univ. of Sci. & Technol., Wuhan, China
  • fYear
    2013
  • fDate
    20-22 Dec. 2013
  • Firstpage
    185
  • Lastpage
    189
  • Abstract
    The paper presents the concepts of weak boundeness and weak conservativeness for general timed continuous Petri nets with infinite server semantics. Based on the reduction technique and the linear algebra of matrices, a timed continuous Petri net with joins can be transformed to a join-free type with the equivalent dynamics of their markings. We endeavor to improve the link between piecewise linear systems, timed continuous Petri nets, and dynamics properties. The weak boundeness and weak conservativeness of the type nets are characterized by the inequalities of the matrix measure that defines the dynamics properties of the markings.
  • Keywords
    Petri nets; linear algebra; dynamic property; infinite server semantics; linear algebra; matrix measure; piecewise linear system; reduction technique; timed continuous Petri nets; weak boundedness; weak conservativeness; Eigenvalues and eigenfunctions; Firing; Linear matrix inequalities; Petri nets; Semantics; Servers; Vectors; Metzler matrix; equivariant place; timed continuous Petri net; weak boundedness;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Mechatronic Sciences, Electric Engineering and Computer (MEC), Proceedings 2013 International Conference on
  • Conference_Location
    Shengyang
  • Print_ISBN
    978-1-4799-2564-3
  • Type

    conf

  • DOI
    10.1109/MEC.2013.6885070
  • Filename
    6885070