DocumentCode
529643
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
fYear
2010
fDate
18-21 Aug. 2010
Firstpage
2253
Lastpage
2259
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;
fLanguage
English
Publisher
ieee
Conference_Titel
SICE Annual Conference 2010, Proceedings of
Conference_Location
Taipei
Print_ISBN
978-1-4244-7642-8
Type
conf
Filename
5602994
Link To Document