Homothecy, bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics

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.

[1]  Walter Ukovich,et al.  A Three-Level Strategy for the Design and Performance Evaluation of Hospital Departments , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[2]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[3]  René K. Boel,et al.  A Continuous Petri Net Approach for Model Predictive Control of Traffic Systems , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[4]  Cristian Mahulea,et al.  Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets , 2009, Discret. Event Dyn. Syst..

[5]  S. Rinaldi,et al.  Positive Linear Systems: Theory and Applications , 2000 .

[6]  Antonio Ramírez-Treviño,et al.  Bifurcations in Timed Continuous Petri Nets , 2015, ADHS.

[7]  Manuel Silva Suárez,et al.  Steady-state performance evaluation of continuous mono-T-semiflow Petri nets , 2005, Autom..

[8]  C. Budd,et al.  Review of ”Piecewise-Smooth Dynamical Systems: Theory and Applications by M. di Bernardo, C. Budd, A. Champneys and P. 2008” , 2020 .

[9]  Antonio Ramírez-Treviño,et al.  Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets , 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).

[10]  Manuel Silva,et al.  Performance Evaluation and Control of Manufacturing Systems A Continuous Petri Nets View , 2018, Formal Methods in Manufacturing.

[11]  Gérard Roucairol,et al.  Linear Algebra in Net Theory , 1979, Advanced Course: Net Theory and Applications.

[12]  Anna-Lena Meyer,et al.  Discontinuity induced bifurcations in timed continuous Petri nets , 2012, WODES.

[13]  Manuel Silva Suárez,et al.  Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals , 1997, IEEE Trans. Syst. Man Cybern. Part A.

[14]  Antonio Ramírez-Treviño,et al.  Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems , 2008, IEEE Transactions on Automation Science and Engineering.

[15]  Manuel Silva,et al.  Individuals, populations and fluid approximations: A Petri net based perspective☆ , 2016 .

[16]  Cristian Mahulea,et al.  On fluidization of discrete event models: observation and control of continuous Petri nets , 2011, Discret. Event Dyn. Syst..