From discrete to continuous models: A perspective on fluidization of Petri nets

The analysis and synthesis of Discrete Event “views” of dynamic Systems (DES), suffer of the so called state explosion problem. Petri net is a generic term used to designate a broad family of related formalisms for DES, all sharing some basic relevant features, such as locality of the states and actions, with consequences as temporal realism. This article deals with Place/Transition nets, by default simply called Petri Nets (PNs). A crucial property of PNs is that the global state of a system is numerically quantified, usually expressed in vector form. Among the most promising techniques to deal with the related computational problems are structural strategies as “divide and conquer”, of methodological nature, and fluidization, a relaxation. This invited contribution presents a quick overview of possibilities and problems with the last approach.

[1]  Manuel Silva Suárez,et al.  On the Computation of Structural Synchronic Invariants in P/T Nets , 1988, European Workshop on Applications and Theory of Petri Nets.

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

[3]  Dimitri Lefebvre Estimation of the firing frequencies in discrete and continuous Petri nets models , 2001, Int. J. Syst. Sci..

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

[5]  Manuel Silva,et al.  Introducing Petri nets , 1993 .

[6]  Jie Ding Structural and fluid analysis for large scale PEPA models - with applications to content adaptation systems , 2010 .

[7]  Cristian Mahulea,et al.  Approaching minimum time control of timed continuous Petri nets , 2011 .

[8]  Carla Seatzu,et al.  Control of Discrete-Event Systems , 2012, Lecture Notes in Control and Information Sciences.

[9]  Eduardo Sontag,et al.  A Petri net approach to the study of persistence in chemical reaction networks. , 2006, Mathematical biosciences.

[10]  Cristian Mahulea,et al.  ON/OFF strategy based minimum-time control of continuous Petri nets , 2014 .

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

[12]  Manuel Silva Suárez,et al.  Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[13]  René David,et al.  Timed Continuous Petri Nets , 2010 .

[14]  Cristian Mahulea,et al.  European Community’s Seventh Framework Programme (FP7/2007-2013) , 2009 .

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

[16]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

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

[18]  Manuel Silva,et al.  Performance Evaluation and Control of Manufacturing Systems: A Continuous Petri Nets View , 2014 .

[19]  Redouane Kara,et al.  STATE FEEDBACK CONTROL FOR THE MANUFACTURING SYSTEMS MODELED BY CONTINUOUS PETRI NETS , 2006 .

[20]  Vashti Galpin Continuous approximation of PEPA models and Petri nets , 2010, Int. J. Comput. Aided Eng. Technol..

[21]  Alessandro Giua,et al.  Optimal stationary behavior for a class of timed continuous Petri nets , 2004, Autom..

[22]  Cristian Mahulea,et al.  Optimal Model Predictive Control of Timed Continuous Petri Nets , 2008, IEEE Transactions on Automatic Control.

[23]  Alessandro Giua,et al.  IPA for continuous stochastic marked graphs , 2013, Autom..

[24]  René David,et al.  Petri nets for modeling of dynamic systems: A survey , 1994, Autom..

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

[26]  Jean Jacques Loiseau,et al.  Constrained regulation of continuous Petri nets , 2009 .

[27]  Serge Haddad,et al.  Complexity Analysis of Continuous Petri Nets , 2013, Fundam. Informaticae.

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

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

[30]  Dimitri Lefebvre Feedback control designs for manufacturing systems modelled by continuous Petri nets , 1999, Int. J. Syst. Sci..

[31]  Diego Latella,et al.  Continuous approximation of collective system behaviour: A tutorial , 2013, Perform. Evaluation.

[32]  Manuel Silva Suárez,et al.  Autonomous Continuous P/T Systems , 1999, ICATPN.

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

[34]  Manuel Silva,et al.  Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field , 2013, Annu. Rev. Control..

[35]  Manuel Silva,et al.  On the fluidization of Petri nets and marking homothecy , 2014 .

[36]  Gordon F. Newell,et al.  Applications of queueing theory , 1971 .

[37]  Jiří Barilla,et al.  Simulation of the chemical stage in water radiolysis with the help of Continuous Petri nets , 2014 .

[38]  D. Lefebvre,et al.  Fuzzy control of variable speed continuous Petri nets , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[39]  Kunihiko Hiraishi,et al.  Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds , 2008, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..