Distributed State Space Generation of Discrete-State Stochastic Models

References

• Ajmone Marsan M. , Balbo G. , Conte G. A class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Transactions on Computer Science (1984) 2 2 93 122 Crossref, Google Scholar
• Balbo G. , Chiola G. , Franceschinis G. , Roet G. Molinari . On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. Proceedings of the 2nd International Workshop on Petri Nets and Performance Models (PNPM'87) (1987) (IEEE Computer Society Press) 136 145 Google Scholar
• Baskett F. , Chandy K. M. , Muntz R. R. , Palacios-Gomez F. Open, closed, and Mixed Networks of Queues with Different Classes of Customers. Journal of the American Computer Society (1975) 22 2 335 381 Google Scholar
• Blakemore A. The Cost of Eliminating Vanishing Markings From Generalized Stochastic Petri Nets. Proceedings of the 3rd International Workshop on Petri Nets and Performance Models (PNPM'89) (1989) (IEEE Computer Society Press) 85 92 Google Scholar
• Buchholz P. Hierarchical Markovian Models—Symmetries and Reduction. Modelling Techniques and Tools for Computer Performance Evaluation (1992) (Elsevier Science Publishers B.V. (North-Holland), Amsterdam) Google Scholar
• Caselli S. , Conte G. , Marenzoni P. , De Michelis G. , Diaz M. Parallel State Space Exploration for GSPN Models. Application and Theory of Petri Nets 1995, Lecture Notes in Computer Science 935 (Proceedings of the 16th International Conferance on Applications Theory of Petri Nets, Turin, Italy) (Springer-Verlag, Berlin) 181 200 Google Scholar
• Ciardo G. , Blakemore A. , Chimento P. F. J. , Muppala J. K. , Trivedi K. S. , Meyer C. , Plemmons R. J. Automated Generation and Analysis of Markov Reward Models using Stochastic Reward Nets. Linear Algebra, Markov Chains, and Queueing Models (1993) (Springer-Verlag, New York) 145 191 . Vol. 48 of IMA Volumes in Mathematics and its Applications Crossref, Google Scholar
• Ciardo G. , Muppala J. K. , Trivedi K. S. On the Solution of GSPN Reward Models. Performance Evaluation (1991) 12 4 237 253 Crossref, Google Scholar
• Ciardo G. , Trivedi K. S. A Decomposition Approach for Stochastic Reward Net Models. Performance Evaluation (1993) 18 1 37 59 Crossref, Google Scholar
• Ciardo G. , Trivedi K. S. , Muppala J. K. SPNP: Stochastic Petri Net Package. Proceedings of the 3rd International Workshop on Petri Nets and Performance Models (PNPM'89) (1989) (IEEE Computer Society Press, Los Alamitos, CA) 142 151 Google Scholar
• Courtois P. J. Decomposability: Queuing and Computer System Applications (1977) (Academic Press, New York) Google Scholar
• Dijkstra E. W. , Feijen W. , Van Gasteren A. Derivation of a Termination Detection Algorithm for a Distributed Computation. Information Processing Letters (1983) 16 217 219 Crossref, Google Scholar
• Donatelli S. Superposed Stochastic Automata: a class of stochastic Petri nets amenable to parallel solution. Proceedings of the 4th International Workshop on Petri Nets and Performance Models (PNPM'91) (1983) (IEEE Computer Society Press, Los Alamitos, CA) 54 63 Google Scholar
• Goyal A. , Carter W. C. , de Souza e Silva E. , Lavenberg S. S. , Trivedi K. S. The System Availability Estimator. Proceedings of the 16th International Symposium on Fault-Tolerant Computing (1986) (IEEE Computer Society Press, Los Alamitos, CA) 84 89 Google Scholar
• Grassmann W. K. , Wang Y. , Stewart W. J. Immediate events in Markov Chain. Computations with Markov Chains (1995) (Kluwer, Boston, MA) 163 176 Crossref, Google Scholar
• Gropp W. , Lusk E. , Skjellum A. Using MPI (1994) (MIT Press, Cambridge, MA) Google Scholar
• Harel D. On visual formalisms. Communications of the Association for Computing Machinery (1988) 31 5 512 530 Crossref, Google Scholar
• Jensen A. Markoff Chains as an Aid in the Study of Markoff Processes. Skandinavish Aktuarietidskrift (1953) 36 87 91 Google Scholar
• Martinez J. , Silva M. A simple and Fast Algorithm to Obtain All Invariants of a Generalised Petri Net. Proceedings of the 2nd European Workshop on Application Theory of Petri Nets (1981) (Springer-Verlag, Berlin) 411 422 Google Scholar
• Murata T. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE (1989) 77 4 541 579 Crossref, Google Scholar
• Nicol D. , Palumbo D. , Ulrey M. A Graphical Tool for Reliability and Failure-Mode-Effects Analysis. Proceedings of the 1995 Reliability and Maintainability Conference (1995) (IEEE Publishing Services, Piscataway, NJ) 74 81 Crossref, Google Scholar
• Nicol D. M. Non-Commital Barrier Synchronization. Parallel Computing (1995) 21 529 549 Crossref, Google Scholar
• Peterson J. L. Petri Net Theory and the Modeling of Systems (1981) (Prentice-Hall, Englewood Cliffs, NJ) Google Scholar
• Petri C. Kommunikation mit Automaten . Ph.D. thesis University of Bonn,Bonn, Germany, 1962 Google Scholar
• Pissanetzky S. Sparse Matrix Technology (1984) (Academic Press, London) Google Scholar
• Sereno M. , Balbo G. Computational Algorithms for Product Form Solution Stochastic Petri Nets. Proceedings of the 5th International Workshop on Petri Nets and Performance Models (PNPM'93) (1993) (IEEE Computer Society Press, Los Alamitos, CA) 98 107 Crossref, Google Scholar
• Stewart W. J. Introduction to the Numerical Solution of Markov Chains (1994) (Princeton University Press, Princeton, NJ) Google Scholar
• Varga R. S. Matrix Iterative Analysis (1962) (Prentice-Hall, Englewood Cliffs, NJ) Google Scholar