Immediate Transitions in Timed Continuous Petri Nets: Performance Evaluation and Control
该文在计时连续Petri网中引入即时变迁以表示极快事件，提出新模型TCPN+I，并给出快速仿真算法；通过移除即时变迁将其转化为等价的TCPN，以便应用现有分析方法，并用制造实例展示了性能评估和模型预测控制的应用。
Timed continuous Petri nets (TCPNs) are continuous-state dynamical systems that were originally defined to approximate the behavior of timed discrete event systems. In particular, it has been shown in the literature that TCPNs approximate the average marking and throughput of a class of generalized stochastic Petri nets (GSPNs), a well-known model used for the performance evaluation analysis of manufacturing, communication, logistic and traffic systems, among others. In this work, the TCPN model is enriched with immediate transitions, which represent very fast events, resulting in a new model denoted as TCPN+I. Then, a fast simulation algorithm for TCPN+Is is introduced. Nevertheless, the introduction of continuous immediate transitions leads to ill-conditioned problems when analyzing the TCPN+I model. For such reason, a couple of procedures are, here, introduced to transform a TCPN+I model into a set of dynamically equivalent TCPNs, by removing the immediate transitions, allowing, thus, the application of analysis techniques and methods already proposed in the literature for TCPN systems. The application of the results introduced in this work for performance evaluation and model predictive control is illustrated through a manufacturing example.