On state space decomposition for the numerical analysis of stochastic Petri nets

Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

Volumn , Issue , 1999, Pages 32-41

  Perez Jimenez, Carlos J ^a   Campos, Javier ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME SYSTEMS; MARKOV PROCESSES; STOCHASTIC SYSTEMS;

APPROXIMATE ANALYSIS; CONTINUOUS TIME MARKOV CHAIN; DECOMPOSITION TECHNIQUE; PERFORMANCE ANALYSIS; PERFORMANCE INDICES; REACHABILITY GRAPHS; STATE EXPLOSION PROBLEMS; STOCHASTIC PETRI NETS;

PETRI NETS;

EID: 33847316670     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.1999.796530     Document Type: Conference Paper

References (12)

1. J. Campos, J.M. Colom, H. Jungnitz, and M. Silva. Approximate throughput computation of stochastic marked graphs. IEEE Trans. on Soft. Eng., 20(7):526-535, Jul. 1994.
2. J. Campos, S. Donatelli, and M. Silva. Structured solution of asynchronously communicating stochastic modules. IEEE Trans. on Soft. Eng., 25(2):147-165, Mar. 1999.
3. J. Campos and M. Silva. Structural techniques and performance bounds of stochastic Petri net models. In G. Rozenberg, ed., Adv. in Petri Nets 1992, vol. 609 of LNCS, pp. 352-391. Springer-Verlag, Berlin, 1992.
4. G. Ciardo and K. Trivedi. A decomposition approach for stochastic reward net models. Perf. Eval., 18(1):37-59, Sep. 1993.
5. J. M. Colom and M. Silva. Improving the linearly based characterization of P/T nets. In G. Rozenberg, ed., Adv. in Petri Nets 1990, vol. 483 of LNCS, pp. 113-145. Springer- Verlag, Berlin, 1991.
6. F. DiCesare, G. Harhalakis, J. M. Proth, M. Silva, and F.B. Vernadat. Practice of Petri Nets in Manufacturing. Chapman & Hall, London, 1993.
7. A. Gibbons. Algorithmic Graph Theory. Cambridge U. Press, London, 1985.
8. V. Mainkar and K. Trivedi. Fixed point iteration using stochatic reward nets. In Proc. of the 6th Int. Work. on PNPM, pp. 21-30, Durham, NC, USA, Oct. 1995. IEEEComp. Soc. Press.
9. M. K. Molloy. Performance analysis using stochastic Petri nets. IEEE Trans. on Comp., 31(9):913-917, Sep. 1982.
10. C. J. Pérez-Jiménez, J. Campos, and M. Silva. Approximate throughput computation of a class of cooperating sequential processes. In Proc. of the Rensselaer's V Int. Conf. on Comp. Integrated Manuf. and Autom. Tech. (CIMAT'96), pp. 382-389, Grenoble, France, May 1996.
11. C. J. Pérez-Jiménez, J. Campos, and M. Silva. On approximate performance evaluation of manufacturing systems modelled with weighted T-systems. In Proc. of the IMACS/IEEE-SMC Multiconf. on Comp. Eng. in Sys. Appl. (CESA'96), pp. 201-207, Lille, France, Jul. 1996.
12. C. J. Pérez-Jiménez, J. Campos, and M. Silva. State machine reduction for the approximate performance evaluation of manufacturing systems modelled with cooperating sequential processes. In Proc. of the 1996 IEEE Int. Conf. on Rob. and Aut., pp. 1159-1165, Minneapolis, MN, USA, Apr. 1996.