Implicit GSPN reachability set generation using decision diagrams

This publication has 22 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Saturation Unbound
  Published by Springer Nature ,2003
• Saturation: An Efficient Iteration Strategy for Symbolic State—Space Generation
  Published by Springer Nature ,2001
• Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
  INFORMS Journal on Computing, 2000
• Discrete-Time Markovian Stochastic Petri Nets
  Published by Springer Nature ,1995
• Generalized stochastic Petri nets: a definition at the net level and its implications
  IEEE Transactions on Software Engineering, 1993
• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990
• Compiling Techniques for the Analysis of Stochastic Petri Nets
  Published by Springer Nature ,1989
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984