GreatSPN Enhanced with Decision Diagram Data Structures

  title={GreatSPN Enhanced with Decision Diagram Data Structures},
  author={Junaid Babar and Marco Beccuti and Susanna Donatelli and Andrew S. Miner},
  booktitle={Petri Nets},
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 
Highly Cited
This paper has 24 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 15 citations


Publications referenced by this paper.
Showing 1-10 of 13 references