An efficient well-specified check

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

Volumn , Issue , 1999, Pages 124-133

  Deavours, Daniel D ^a   Sanders, William H ^a  

^a United States of America   (United States)

Author keywords

Markov process; Stochastic activity networks; Stochastic Petri nets; Well defined; Well specified

Indexed keywords

COMPLEX NETWORKS; COMPUTATIONAL COMPLEXITY; MARKOV PROCESSES; PETRI NETS;

GENERALIZED STOCHASTIC PETRI NETS; STANDING PROBLEMS; STOCHASTIC ACTIVITY NETWORKS; STOCHASTIC PETRI NETS;

STOCHASTIC SYSTEMS;

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

References (9)

1. G. Chiola, M. A. Marsan, G. Balbo, and G. Conte. Generalized stochastic Petri nets: A definition at the net level and its implications. IEEE Trans. Softw. Eng., 19:89-107, Feb. 1993.
2. G. Ciardo and R. Zijal. Well-defined stochastic Petri nets. In Proc. 4th International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'96), pages 278-284, San Jose, California, Feb. 1996.
3. R. German, A. van Moorsel, M. A. Qureshi, and W. H. Sanders. Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures. IEEE Trans. Softw. Eng., 22:603-614, Sept. 1996.
4. M. A. Marsan, G. Balbo, G. Chiola, and G. Conte. Generalized stochastic Petri nets revisited: Random switches and priorities. In Proc. 2nd International Workshop on Petri Nets and Performance Models (PNPM'87), pages 44-53, Madison, Wisconsin, Aug. 1987.
5. M. A. Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst., 2:93-122, 1984.
6. J. F. Meyer, A. Movaghar, and W. H. Sanders. Stochastic activity networks: Structure, behavior, and application. In Proc. International Workshop on Timed Petri Nets, pages 106-115, Torino, Italy, July 1985.
7. A. Movaghar and J. F. Meyer. Performability modeling with stochastic activity networks. In Proc. 1984 Real-Time Systems Symposium, pages 215-224, Austin, TX, Dec. 1984.
8. M. A. Qureshi, W. H. Sanders, A. P. A. van Moorsel, and R. German. Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures. In Sixth International Workshop on Petri Nets and Performance Models, pages 180-190, Durham, NC, Oct. 1995.
9. W. H. Sanders. Construction and Solution of Performability Models Based on Stochastic Activity Networks. PhD thesis, University of Michigan, Ann Arbor, Michigan, 1988.