Homothecy,bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics |
| |
Institution: | 1. CINVESTAV–IPN, Unidad Guadalajara, Av. del Bosque 1145, Zapopan, 45019, Jalisco, Mexico;2. Instituto de Investigación en Ingeniería de Aragón (I3A), Universidad de Zaragoza, María de Luna 1, 50018 Zaragoza, Spain;1. Biomedical Sciences Department, Pharmacy and Pharmaceutical Technology Unit, Faculty of Pharmacy, Ctra. Madrid-Barcelona (Autovía A-II) Km. 33,600, 28805, Alcalá de Henares, Madrid, Spain;2. Faculty of Pharmacy, University of Alcalá, Alcalá de Henares, Madrid, Spain;1. Biomedical Sciences Department, Pharmacy and Pharmaceutical Technology Unit, Faculty of Pharmacy, University of Alcalá, Ctra. de Madrid-Barcelona (Autovía A2) Km. 33,600, 28805 Alcalá de Henares, Madrid, Spain;2. Faculty of Pharmacy, University of Alcalá, Ctra. de Madrid-Barcelona (Autovía A2) Km. 33,600 28805 Alcalá de Henares, Madrid, Spain;1. Tecnologico de Monterrey, Campus GDA, Av. Ramón Corona 2514, 45201, Zapopan, Jalisco, Mexico;2. CINVESTAV, Unidad Guadalajara, Av. del Bosque 1145, Zapopan, Jalisco, Mexico;1. Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional, Unidad Guadalajara, Av. del Bosque 1145, Zapopan, Jalisco, México. C.P. 45019;2. Instituto Tecnológico y de Estudios Superiores de Monterrey, Campus Guadalajara, Av. Ramón Corona 2514, Zapopan, Jalisco, México C.P. 45201 |
| |
Abstract: | This work studies how equilibrium markings and throughputs change in Timed Continuous Petri Net (TCPN) systems as transition firing rates vary. In particular, it analyzes the bifurcations of the former, and the discontinuities and non-monotonicities of the latter; specifically, using structural objects of the net, such as P-semiflows, T-semiflows, and configurations, among others, the following properties can be obtained. For Join Free TCPN systems, a sufficient structural condition guaranteeing that the equilibrium markings do not bifurcate when firing rates vary, is derived. A dual result is obtained for Choice Free TCPN systems. For Mono-T-Semiflow TCPN systems, the equilibrium throughput is investigated; using a time-scale (a homothetic) property it is proven that a discontinuity of the equilibrium throughput implies its non-monotonicity, even if not evident at first glance. This is a connection of two timed behavioral properties of the equilibrium throughput. Moreover, a sufficient structural condition, parametrized by the equilibrium markings, ensures its continuity under firing rate variations. It is also proven that the monotonicity of the equilibrium throughput can be characterized by the previous structural condition. The convergence of the marking evolution of TCPN systems to its equilibrium markings is also discussed. |
| |
Keywords: | Continuous Petri nets Piece-wise linear systems Performance behaviors |
本文献已被 ScienceDirect 等数据库收录! |
|