Keyword: binary decision diagrams

• Delfieu, D.; Molinaro, P.; Roux, O.H.:
  Analyzing Temporal Constraints with Binary Decision Diagrams. 2000.

• Strehl, Karsten; Thiele, Lothar:
  Interval Diagram Techniques for Symbolic Model Checking of Petri Nets. 1999.

• Gunnarsson, J.:
  Symbolic tools for verification of large scale DEDS. 1998.

• Siegle, M.:
  Techniques and tool for symbolic representation and manipulation of stochastic transition systems. 1998.

• Spranger, J.:
  Combining Structural Properties and Symbolic Representation for Efficient Analysis of Petri Nets. 1998.

• Taubin, A.; Kondratyev, A.; Kishinevsky, M.:
  Deadlock prevention using Petri nets and their unfoldings. 1998.

• Grahlmann, Bernd:
  The PEP Tool. 1997.

Back to the Petri Nets Bibliography