Duality of controllability-observability in continuous Petri nets

This work is concerned with duality of controllability and observability of Timed continuous Petri nets (TCPNs). Based on the duality definition presented in [4] for (discrete) Petri nets, a procedure for computing a dual system of a given TCPN, in a particular configuration, is provided in this work. Furthermore, it is demonstrated that the rank of the controllability matrix of a TCPN and the rank of the observability matrix of its dual are related in a precise manner. The analysis here presented can be used to translate previous results of observability analysis to controllability and vice versa.

[1]  Mercedes Pérez de la Parte,et al.  Simulation and Optimization of Logistic and Production Systems Using Discrete and Continuous Petri Nets , 2004, Simul..

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

[3]  Antonio Ramírez-Treviño,et al.  Controllability of timed continuous Petri nets with uncontrollable transitions , 2014, Int. J. Control.

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

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

[6]  Dimitri Lefebvre,et al.  Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling , 2005, Simul. Model. Pract. Theory.

[7]  Antonio Ramírez-Treviño,et al.  Control of Metabolic Systems Modeled with Timed Continuous Petri Nets , 2010, ACSD/Petri Nets Workshops.

[8]  L. Recalde,et al.  OPTIMAL OBSERVABILITY FOR CONTINUOUS PETRI NETS , 2005 .

[9]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

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

[11]  Enrique Aguayo-Lara,et al.  Sensor placement for distinguishability and single structure observer design in continuous timed Petri nets , 2014 .

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

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

[14]  J. Ruiz-León,et al.  Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets , 2011, 2011 IEEE International Conference on Automation Science and Engineering.

[15]  Manuel Silva Suárez,et al.  On Observability and Design of Observers inTimed Continuous Petri Net Systems , 2008, IEEE Transactions on Automation Science and Engineering.

[16]  M. Silva,et al.  On performance monotonicity and basic servers semantics of continuous Petri nets , 2006, 2006 8th International Workshop on Discrete Event Systems.

[17]  J. L. Garcia-Malacara,et al.  Internal Report : Duality Controllability-Observability on Fork-Attribution Fluid Petri Nets , 2014 .

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

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