Reachability analysis based on structured representations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1091, Issue , 1996, Pages 269-288

  Kemper, Peter ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; HASH FUNCTIONS; MARKOV PROCESSES; PETRI NETS; STOCHASTIC SYSTEMS;

BUILDING BLOCKES; EXPLORATION ALGORITHMS; GENERALIZED STOCHASTIC PETRI NETS; PERFORMANCE ANALYSIS; REACHABILITY ANALYSIS; STATE TRANSITION MATRIX; STATE-SPACE EXPLOSION; STOCHASTIC AUTOMATA NETWORKS;

MODEL CHECKING;

EID: 84957617331     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_15     Document Type: Conference Paper

References (26)

1. G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar-Roet. On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets. In Int. Work. Petri Nets and Performance Models. IEEE Computer Society, 1987.
2. A. Blakemore. The cost of eliminating vanishing markings from generalized stochastic Petri nets. In 3rd Int. Work. Petri Nets and Performance Models. IEEE Computer Society, 1989.
3. P. Buchholz. Numerical solution methods based on structured descriptions of Markovian models. In 5th Int. Conf. Modeling Techniques and Tools, 1991.
4. P. Buchholz. Markovian process algebra: Composition and equivalence. In 2nd Work. Process Algebras and Performance Modelling, 1994.
5. P. Buchholz. On a Markovian process algebra. Technical Report 500, Universität Dortmund, 1994.
6. S. Caselli, G. Conte, F. Bonardi, and M. Fontanesi. Experiences on SIMD massively parallel GSPN analysis. In Computer Performance Eual., Springer, 1994.
7. S. Caselli, G. Conte, and P. Marenzoni. Parallel state space exploration for GSPN models. In 16th int. Conf. Application and Theory of Petri Nets, Springer, 1995.
8. G. Chiola. Compiling techniques for the analysis of stochastic Petri nets. In 4th Int. Conf. on Modeling Techniques and Tools, Mallorca, 1989.
9. S. Christensen and L. Petrucci. Modular state space analysis of coloured Petri nets. In 16th int. Conf. Application and Theory of Petri Nets, Springer, 1995.
10. G. Ciardo and K.S. Trivedi. A decomposition approach for stochastic Petri net models. In 4th Int. Work. Petri Nets and Performance Models. IEEE Computer Society, 1991.
11. M. Davio. Kronecker products and shuffle algebra. IEEE Transactions on Computers, C-30(2):116-125, February 1981.
12. S. Donatelli. Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space. Performance Eual., 18:21-26, 1993.
13. S. Donatelli. Superposed generalized stochastic Petri nets: definition and efficient solution. In 15th int. Conf. Application and Theory of Petri nets, Springer, 1994.
14. P. Godefroid. Using partial orders to improve automatic verification methods. In 2nd int. Work. Computer Aided Verification, LNCS 531. Springer, 1990.
15. P. Godefroid and D. Pirottin. Refining dependencies improves partial-order verification methods. In 5th int. Conf. Computer Aided Verification, LNCS 697. Springer, 1993.
16. G.J. Holzmann. On limits and possibilities of automated protocol analysis. In 7th int. Work. Protocol Specification, Testing, and Verification. North-Holland, 1987.
17. G.J. Holzmann. An analysis of bitstate hashing. In 15th int. Symp Protocol Specification, Testing and Verification, IFIP. Chapman k. Hall, 1995.
18. P. Kemper. Closing the gap between classical and tensor based iteration techniques (extended abstract). In Computations with Markov Chains. Kluwer, 1995.
19. P. Kemper. Numerical analysis of superposed GSPNs. In 6th Int. Work. Petri Nets and Performance Models. IEEE Computer Society Press, 1995.
20. B. Plateau and K. Atif. Stochastic automata network for modelling parallel systems. IEEE Trans, on Software Engineering, 17(10): 1093-1108, 1991.
21. B. Plateau and J.M. Fourneau. A methodology for solving Markov models of parallel systems. Journal of Parallel and Distributed Computing, 12, 1991.
22. W.J. Stewart. Introduction to the numerical solution of Markov chains. Princeton University Press, 1994.
23. A. Valmari. Error detection by reduced reachability graph generation. In 9th Europ. Work. Application and Theory of Petri Nets, Venice, Italy, 1988.
24. A. Valmari. Stubborn sets for reduced state space generation. In Advances in Petri Nets, LNCS 483. Springer, 1990.
25. P. Wolper and P. Godefroid. Partial order methods for temporal verification. In 4th int. Conf. Concurrency Theory, LNCS 715. Springer, 1993.
26. P. Wolper and D. Leroy. Reliable hashing without collision detection. In 5th int. Conf. Computer Aided Verification, Elouada, Greece, 1993.