GreatSPN Enhanced with Decision Diagram Data Structures

@inproceedings{Babar2010GreatSPNEW,
  title={GreatSPN Enhanced with Decision Diagram Data Structures},
  author={Junaid Babar and Marco Beccuti and Susanna Donatelli and Andrew S. Miner},
  booktitle={Petri Nets},
  year={2010}
}
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

Citations

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

References

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