Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation

Timed weighted marked graphs are a subclass of timed Petri nets that have wide applications in the control and performance analysis of flexible manufacturing systems. Due to the existence of multiplicities ( i.e., weights ) on edges, the performance analysis and resource optimization of such graphs represent a challenging problem. In this paper, we develop an approach to transform a timed weighted marked graph whose initial marking is not given, into an equivalent parametric timed marked graph where the edges have unitary weights. In order to explore an optimal resource allocation policy for a system, an analytical method is developed for the resource optimization of timed weighted marked graphs by studying an equivalent net. Finally, we apply the proposed method to a flexible manufacturing system and compare the results with a previous heuristic approach. Simulation analysis shows that the developed approach is superior to the heuristic approach.

[1]  Nathalie Sauer.  Marking Optimization of Weighted Marked Graphs , 2003, Discret. Event Dyn. Syst..

[2]  Alessandro Giua,et al.  Identification of Petri Nets from Knowledge of Their Language , 2007, Discret. Event Dyn. Syst..

[3]  Dimitri Lefebvre,et al.  Approximated timed reachability graphs for the robust control of discrete event systems , 2019, Discret. Event Dyn. Syst..

[4]  Alessandro Giua,et al.  Optimization of Deterministic Timed Weighted Marked Graphs , 2017, IEEE Transactions on Automation Science and Engineering.

[5]  Zhiwu Li,et al.  Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices , 2020, IEEE Transactions on Industrial Informatics.

[6]  Bertrand Cottenceau,et al.  Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids , 2014, IEEE Transactions on Automatic Control.

[7]  Spyros A. Reveliotis,et al.  Performance optimization for a class of generalized stochastic Petri nets , 2013, 52nd IEEE Conference on Decision and Control.

[8]  Manuel Silva Suárez,et al.  On Weighted T-Systems , 1992, Application and Theory of Petri Nets.

[9]  MengChu Zhou,et al.  On Siphon Computation for Deadlock Control in a Class of Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[10]  Zhiwu Li,et al.  An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems , 2020, IEEE Transactions on Automatic Control.

[11]  Alessandro Giua,et al.  Firing rate optimization of cyclic timed event graphs by token allocations , 2002, Autom..

[12]  Robert de Simone,et al.  Periodic scheduling of marked graphs using balanced binary words , 2012, Theor. Comput. Sci..

[13]  Jiacun Wang,et al.  Resource Oriented Workflow Nets and Workflow Resource Requirement Analysis , 2013, Int. J. Softw. Eng. Knowl. Eng..

[14]  Zhou He,et al.  K-Codiagnosability Verification of Labeled Petri Nets , 2019, IEEE Access.

[15]  Bertrand Cottenceau,et al.  Weight-Balanced Timed Event Graphs to Model Periodic Phenomena in Manufacturing Systems , 2017, IEEE Transactions on Automation Science and Engineering.

[16]  Alessandro Giua,et al.  Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics , 2018, IEEE Transactions on Automatic Control.

[17]  Xiaolan Xie,et al.  Optimization of the number of transportation devices in a flexible manufacturing system using event graphs , 1997, IEEE Trans. Ind. Electron..

[18]  Alessandro Giua,et al.  Diagnosability of bounded Petri nets , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[19]  Zhiwu Li,et al.  Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets , 2017, IEEE Access.

[20]  Laurent Hardouin,et al.  On the Steady-State Control of Timed Event Graphs With Firing Date Constraints , 2016, IEEE Transactions on Automatic Control.

[21]  Li Pan,et al.  A Time Petri Net With Relaxed Mixed Semantics for Schedulability Analysis of Flexible Manufacturing Systems , 2020, IEEE Access.

[22]  Jiacun Wang,et al.  A simulation engine for stochastic timed petri nets and application to emergency healthcare systems , 2019, IEEE/CAA Journal of Automatica Sinica.

[23]  MengChu Zhou,et al.  Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[24]  Francesco Basile,et al.  State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions , 2015, IEEE Transactions on Automatic Control.

[25]  Alessandro Giua,et al.  HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets , 2008, Petri Nets.

[26]  Francesco Basile,et al.  Identification of Time Petri Net Models , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[27]  Spyros Reveliotis,et al.  Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling , 2019, Discrete Event Dynamic Systems.

[28]  Philippe Declerck,et al.  Compromise approach for predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs , 2016, Discret. Event Dyn. Syst..

[29]  Manuel Silva,et al.  Cycle time computation in deterministically timed weighted marked graphs , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).

[30]  Zhiwu Li,et al.  Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation , 2015, IEEE Transactions on Control Systems Technology.

[31]  Bertrand Cottenceau,et al.  Model reference control for timed event graphs in dioids , 2001, Autom..

[32]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

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

[34]  Zhou He,et al.  Performance safety enforcement in strongly connected timed event graphs , 2021, Autom..

[35]  Zhiwu Li,et al.  Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement , 2018, IEEE Access.

[36]  Nikolaos V. Sahinidis,et al.  Global optimization of mixed-integer nonlinear programs: A theoretical and computational study , 2004, Math. Program..

[37]  Giovanni Chiola,et al.  Properties and Performance Bounds for Timed Marked Graphs , 1992 .