Issue No. 04 - April (1987 vol. 36)
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.
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
K. Shin and D. Peng, "Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control," in IEEE Transactions on Computers, vol. 36, no. , pp. 500-516, 1987.