This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control
April 1987 (vol. 36 no. 4)
pp. 500-516
ASCII Text
x 
 
D. Peng, K.G. Shin, "Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control," IEEE Transactions on Computers, vol. 36, no. 4, pp. 500-516, April, 1987.
 
 
BibTex
x
 
@article{ 10.1109/TC.1987.1676931,
author = {D. Peng and K.G. Shin},
title = {Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control},
journal ={IEEE Transactions on Computers},
volume = {36},
number = {4},
issn = {0018-9340},
year = {1987},
pages = {500-516},
doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1987.1676931},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Computers
TI - Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control
IS - 4
SN - 0018-9340
SP500
EP516
EPD - 500-516
A1 - D. Peng,
A1 - K.G. Shin,
PY - 1987
KW - task flow graph (TFG)
KW - Activity selection
KW - communication primitives
KW - continuous-time Markov chain (CTMC)
KW - first passage time
KW - generalized stochastic Petri nets (GSPN)
KW - reachability analysis
KW - real-time control
VL - 36
JA - IEEE Transactions on Computers
ER -
 
D. Peng, Department of Electrical Engineering and Computer Science, University of Michigan
In a distributed system that implements real-time control, computational tasks are distributed over different nodes for execution to improve response time and system reliability. To model system behavior, tasks in each node are first decomposed into activities. The activities and precedence constraints among them are then modeled by a generalized stochastic Petri net (GSPN). Finally, a sequence of homogeneous continuous-time Markov chains (CTMC's) is built from the GSPN to model the concurrent task execution in the system.
Index Terms:
task flow graph (TFG), Activity selection, communication primitives, continuous-time Markov chain (CTMC), first passage time, generalized stochastic Petri nets (GSPN), reachability analysis, real-time control
Citation:
D. Peng, K.G. Shin, "Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control," IEEE Transactions on Computers, vol. 36, no. 4, pp. 500-516, April 1987, doi:10.1109/TC.1987.1676931
Usage of this product signifies your acceptance of the Terms of Use.