Paper Info
Title
Simulating Hybrid Petri nets with general transitions and non-linear differential equations
Abstract
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.
Year
DOI
Venue
2020
10.1145/3388831.3388842
VALUETOOLS '20: 13th EAI International Conference on Performance Evaluation Methodologies and Tools Tsukuba Japan May, 2020
DocType
ISBN
Citations 
Conference
978-1-4503-7646-4
1
PageRank 
References 
Authors
0.35
0
3
Name
Order
Citations
PageRank
Mathis Niehage110.69
Carina Pilch241.73
Anne Remke317523.96