Reachability analysis based on structured representations
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 269-288
- https://doi.org/10.1007/3-540-61363-3_15
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Modular state space analysis of coloured Petri NetsPublished by Springer Nature ,1995
- Parallel state space exploration for GSPN modelsPublished by Springer Nature ,1995
- Closing the Gap Between Classical and Tensor Based Iteration TechniquesPublished by Springer Nature ,1995
- Superposed Generalized Stochastic Petri Nets: Definition and efficient solutionPublished by Springer Nature ,1994
- Experiences on SIMD massively parallel GSPN analysisPublished by Springer Nature ,1994
- Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state spacePerformance Evaluation, 1993
- Refining dependencies improves partial-order verification methods (extended abstract)Published by Springer Nature ,1993
- A methodology for solving markov models of parallel systemsJournal of Parallel and Distributed Computing, 1991
- Stochastic automata network of modeling parallel systemsIEEE Transactions on Software Engineering, 1991
- Compiling Techniques for the Analysis of Stochastic Petri NetsPublished by Springer Nature ,1989