Sciweavers

Share
APN
2010
Springer

GreatSPN Enhanced with Decision Diagram Data Structures

12 years 1 months ago
GreatSPN Enhanced with Decision Diagram Data Structures
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
Junaid Babar, Marco Beccuti, Susanna Donatelli, An
Added 15 Aug 2010
Updated 15 Aug 2010
Type Conference
Year 2010
Where APN
Authors Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner
Comments (0)
books