|
|||||
|
|
Service stage Petri net models with product form solution |
|
| Authors: | Irving Y Wang Thomas G Robertazzi |
| Institution: | (1) Department of Electrical Engineering, New Jersey Institute of Technology, 07102 Newark, NJ, USA;(2) Department of Electrical Engineering, SUNY at Stony Brook, 11794 Stony Brook, NY, USA |
| Abstract: | A class of service stage Petri net models whose equilibrium probabilities satisfy local balance equations is presented. Examples of their applicability include bus oriented multiprocessor interconnections, the classical dining philosophers problem and the alternating bit protocol. The natural topological space for embedding the state transition lattice for this class of SSPN is shown to be a multidimensional toroidal manifold. |
| Keywords: | Stochastic Petri network product form solution multiprocessor dining philosopher problem alternating bit protocol |
| 本文献已被 SpringerLink 等数据库收录！ | |