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
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;
Conference_Titel :
Mechatronic Sciences, Electric Engineering and Computer (MEC), Proceedings 2013 International Conference on
Conference_Location :
Shengyang
Print_ISBN :
978-1-4799-2564-3
DOI :
10.1109/MEC.2013.6885070