Simulating Hybrid Petri nets with general transitions and non-linear differential equations
Simulating Hybrid Petri nets with general transitions and non-linear differential equations
复制标题
使用一般转换和非线性微分方程模拟混合 Petri 网
DOI：
10.1145/3388831.3388842
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Anne Remke
中科院分区：
文献类型：
--
作者：
Mathis Niehage;Carina Pilch;Anne Remke
具有一般变迁的混合Petri网（HPnGs）是一种离散、连续和随机变量的建模方法，已成功地用于关键基础设施的建模。以前的工作扩展的连续动态线性时不变系统，通过量化的状态空间方法在工具HYPEG模拟。该方法将状态空间离散化为线性定常系统的近似解。本文通过增加时间离散方法将方程组推广到非线性常微分方程。这些现在可以集成在一个可扩展的方式，因为HYPEG已经适应处理时间离散化作为这项工作的一部分。新实现的结果在具有线性ODE的电池模型上进行了验证，并进一步用于计算具有非线性ODE的加热模型的结果。
Hybrid Petri nets with general transitions (HPnGs) are a modeling formalism with discrete, continuous and random variables, and have successfully been used to model critical infrastructures. Previous work extended the continuous dynamics to linear time-invariant systems, simulated via a quantized state space approach in the tool HYPEG. This method discretizes the state space to approximate solutions of the linear time-invariant systems. This paper extends the set of equations to non-linear ordinary differential equations (ODEs) by adding well known time-discrete methods. These can now be integrated in an extendable way, since HYPEG has been adapted to deal with time-discretization as part of this work. The results of the new implementation are validated on a battery model with linear ODEs and furthermore used to compute results for a heating model with non-linear ODEs.