A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts |
| |
Institution: | 1. School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, China;2. School of Computer Engineering, Qingdao Technological University, Qingdao 266033, China;3. Eco-Innov, INRA, Université Paris-Saclay, 78850 Thiverval-Grignon, France |
| |
Abstract: | The behavior of timed continuous Petri nets (TCPN) can be ruled by linear equations during certain time elapses (IB-states), but changes in the marking and conflict solving policies make nonlinear the complete computation of the behavior. In this paper a global characterization of the switching behavior of TCPN through Mixed Linear Integer Programming (MLIP) is presented. The contribution is an analytical technique to compute the evolution graph of a TCPN, which allows deriving MLIP problems from TCPN models including cycles and structural conflicts; conflict resolution policies by priorities and sharing are considered. |
| |
Keywords: | Timed continuous Petri nets Mixed Linear Integer Programming IB-states Conflict resolution policies |
本文献已被 ScienceDirect 等数据库收录! |
|