DocumentCode :
349659
Title :
Modeling of priority queueing service in discrete event systems using hybrid Petri nets
Author :
Lin, Ming-Hung ; Fu, Li-Chen
Author_Institution :
Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Volume :
1
fYear :
1999
fDate :
1999
Firstpage :
818
Abstract :
We propose a hybrid Petri net (HPN) that extends the framework of the original colored generalized stochastic Petri net by hiding queues in special places. The hybrid Petri net contains ordinary tokens and control tokens. Both ordinary tokens and control tokens can be exogenous, or can be obtained by a Markovian movement of a token from one place to another place after firing of transition. A control token forces an ordinary token to move instantaneously to another place according to a Markovian routing rule. We show that this new class of Petri net has product form stationary solution, and establish the non-linear token flow equations that govern it. The stability of the hybrid Petri net is discussed in this new context
Keywords :
Markov processes; discrete event systems; graph colouring; queueing theory; Markovian movement; Markovian routing rule; colored generalized stochastic Petri net; control tokens; hybrid Petri nets; nonlinear token flow equations; ordinary tokens; priority queueing service; product form stationary solution; Computer science; Context-aware services; Discrete event systems; Force control; Nonlinear equations; Performance analysis; Petri nets; Routing; Stability; Stochastic processes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
ISSN :
1062-922X
Print_ISBN :
0-7803-5731-0
Type :
conf
DOI :
10.1109/ICSMC.1999.814197
Filename :
814197
Link To Document :
بازگشت