Title :
On analysis of a class of timed continuous Petri nets and its applications
Author :
Hiraishi, Kunihiko
Author_Institution :
Sch. of Inf. Sci., Japan Adv. Inst. of Sci. & Technol., Nomi, Japan
Abstract :
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.
Keywords :
Petri nets; continuous time systems; discrete time systems; formal verification; linear systems; piecewise linear techniques; stochastic processes; fluidification technique; formal semantics; generalized stochastic Petri nets; piecewise linear systems; precise firing rules; routing timed continuous Petri nets class; Approximation methods; Differential equations; Firing; Mathematical model; Petri nets; Routing; Semantics; Petri nets; formal verification; hybrid systems; performance eveluation;
Conference_Titel :
SICE Annual Conference 2010, Proceedings of
Conference_Location :
Taipei
Print_ISBN :
978-1-4244-7642-8
