On performance monotonicity and basic servers semantics of continuous Petri nets

Continuous Petri nets were introduced as an approximation to deal with the state explosion problem which can appear in discrete event models. When time is introduced, the flow through a fluidified transition can be defined in many ways. The most used in literature are infinite and finite servers semantics. Both can be seen as derived from stochastic Petri nets. The practical problems addressed in this contribution are: (1) a sufficient condition for the performance monotonicity, and (2) a study of the transition semantics, always related to continuous Petri nets. We prove that under some conditions, the subclass of mono-T-semiflow is monotone and also for the same class of nets we prove a property for which infinite servers semantics offers a better approximation than finite servers semantics for the discrete model

[1]  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.

[2]  Cristian Mahulea,et al.  Steady state control, zero valued poles and token conservation laws in continuous net systems ? , 2005 .

[3]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[4]  Amir Pnueli,et al.  Marked Directed Graphs , 1971, J. Comput. Syst. Sci..

[5]  Manuel Silva Suárez,et al.  Structural techniques and performance bounds of stochastic Petri net models , 1992, Advances in Petri Nets: The DEMON Project.

[6]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[7]  Manuel Silva Suárez,et al.  On fluidification of Petri Nets: from discrete to hybrid and continuous models , 2003, Annu. Rev. Control..

[8]  J. Julvez,et al.  On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[9]  Manuel Silva Suárez,et al.  Structure Theory of Equal Conflict Systems , 1996, Theor. Comput. Sci..

[10]  René David,et al.  Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..

[11]  Manuel Silva Suárez,et al.  Petri nets and integrality relaxations: A view of continuous Petri net models , 2002, IEEE Trans. Syst. Man Cybern. Part C.

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

[13]  Manuel Silva,et al.  On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models , 2003, ADHS.

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

[15]  Manuel Silva Suárez,et al.  Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems , 1996, Petri Nets.