Scientific computing: an introduction with parallel computing
Scientific computing: an introduction with parallel computing
Experiences on SIMD massively parallel GSPN analysis
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
The design of MA48: a code for the direct solution of sparse unsymmetric linear systems of equations
ACM Transactions on Mathematical Software (TOMS)
A parallel Gauss-Seidel algorithm for sparse power system matrices
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
Analysis and solution of generalized stochastic Petri nets: a data parallel CM-5 approach
HPCN Europe '95 Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking
Structurally Bounded Stochastic Petri Nets
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
An Operating System Support to Low-Overhead Communications in NOW Clusters
CANPC '97 Proceedings of the First International Workshop on Communication and Architectural Support for Network-Based Parallel Computing
Parallel state space construction for model-checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Distributed and structured analysis approaches to study large and complex systems
Lectures on formal methods and performance analysis
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Distributed disk-based algorithms for model checking very large Markov chains
Formal Methods in System Design
| Hi-index | 0.00 |
Distributed computing systems, making available large memories and powerful computational resources allow the analysis of problems of unprecedented complexity. The exploitation of the potential offered by these systems highly depends upon the availability of efficient tools devoted to the solution of specific problems. The paper describes a distributed approach to the analysis of large GSPN models whose applicability to real systems was often constrained by the explosion in the size of the underlying state space representation. A performing algorithm for distributed construction of large state space graphs generated by GSPN models is described in detail. The subsequent distributed numerical solution of the Markov chain is then presented and discussed, along with its current limitations. The implementation of the complete distributed solution tool is integrated with the well known GreatSPN package. The use of the widespread MPI Message Passing library makes the tool portable on a large class of distributed and parallel architectures. Performance results in the case of nets with large stale space cardinalities are discussed, considering an experimental low-cost, general purpose PC cluster.