On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets

This publication has 19 references indexed in Scilit:

• "On-the-fly" solution techniques for stochastic Petri nets and extensions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Probability, Parallelism and the State Space Exploration Problem
  Published by Springer Nature ,1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation
  Formal Methods in System Design, 1997
• TreadMarks: shared memory computing on networks of workstations
  Computer, 1996
• The design of a standard message passing interface for distributed memory concurrent computers
  Parallel Computing, 1994
• Experiences on SIMD massively parallel GSPN analysis
  Published by Springer Nature ,1994
• A decomposition approach for stochastic reward net models
  Performance Evaluation, 1993
• Derivation of a termination detection algorithm for distributed computations
  Information Processing Letters, 1983