Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
A decomposition approach for stochastic reward net models
Performance Evaluation
Multi-Terminal Binary Decision Diagrams: An Efficient DataStructure for Matrix Representation
Formal Methods in System Design
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Formal Verification Using Edge-Valued Binary Decision Diagrams
IEEE Transactions on Computers
Petri Net Analysis Using Boolean Manipulation
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Exploiting interleaving semantics in symbolic state-space generation
Formal Methods in System Design
Hierarchical Set Decision Diagrams and Automatic Saturation
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Simplification of a complex signal transduction model using invariants and flow equivalent servers
Theoretical Computer Science
Ten years of saturation: a petri net perspective
Transactions on Petri Nets and Other Models of Concurrency V
Extreme symmetries in complex distributed systems: the bag-oriented approach
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Hi-index | 0.00 |
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tools. This paper describes how an existing and established tool (GreatSPN) has been enhanced through the use of DDs provided by an existing open-source library (Meddly). We benchmark the enhanced tool and discuss lessons learned while integrating DDs into GreatSPN. Category: Tool paper.