On analysis of a class of timed continuous Petri nets and its applications

In a previous paper, we proposed a new class of timed continuous Petri nets, called RTCPN (Routing Timed Continuous Petri Nets), to approximate behavior of GSPN (Generalized Stochastic Petri Nets) models in which a large number of processes run concurrently. We call this technique fluidification. In this paper, we describe detailed argument on theoretical aspects of the formalism, such as precise firing rules, formal semantics given by piecewise linear systems, and preserved properties after fluidification.