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
Link To Document