Performance models of multiprocessor systems
Performance models of multiprocessor systems
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
On the solution of GSPN reward models
Performance Evaluation
A multi-level solution algorithm for steady-state Markov chains
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
ACM Computing Surveys (CSUR)
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Parallel State Space Exploration for GSPN Models
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Hierarchical High Level Petri Nets for Complex System Analysis
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Distributed State Space Generation of Discrete-State Stochastic Models
INFORMS Journal on Computing
A structure based decomposition approach for GSPN
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Performance evaluation of dynamic priority operating systems
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A dichromatic framework for balanced trees
SFCS '78 Proceedings of the 19th Annual Symposium on Foundations of Computer Science
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
Annals of Software Engineering
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Efficient Reachability Set Generation and Storage Using Decision Diagrams
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
Efficient Probabilistic Model Checking on General Purpose Graphics Processors
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Improving GPU sparse matrix-vector multiplication for probabilistic model checking
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
| Hi-index | 0.00 |
A common approach for the quantitative analysis of a generalized stochastic Petri net (GSPN) is to generate its entire state space and then solve the corresponding continuous--time Markov chain (CTMC) numerically. This analysis often suffers from two major problems: the state space explosion and the stiffness of the CTMC. In this paper we present parallel algorithms for shared--memory machines that attempt to alleviate both of these difficulties: the large main memory capacity of a multiprocessor can be utilized and long computation times are reduced by efficient parallelization. The algorithms comprise both CTMC construction and numerical steady--state solution. We give experimental results obtained with a Convex SPP1600 shared--memory multiprocessor that show the behavior of the algorithms and the parallel speedups obtained.