| Package | Version | Author | Tester | Misc |
| AAPDiagram | 1.2 | A. Adriansyah | J.C. Bose | |
| Abstractions | 1.2.1 | J.C. Bose | A. Adriansyah | Test report |
| AlphaMiner | 1.1 | B.F. van Dongen | J.C.A.M. Buijs | Test report |
| BPM2010 | 1.0 | H.M.W. Verbeek | J.J.C.L. Vogelaar | Test report |
| BPMN | 1.0 | H.M.W. Verbeek | J.J.C.L. Vogelaar | |
| COSAImportExport | 1.1 | H.M.W. Verbeek | C. Stahl | Test report |
| CPlex | 12.1 | B.F. van Dongen | J. Nakatumba | Test report |
| DeclareMiner | 1.2 | F.M. Maggi | M. de Leoni | Test report |
| DottedChart | 1.0 | M. Song | J.J.C.L. Vogelaar | Test report |
| EPMLImportExport | 1.1 | H.M.W. Verbeek | F.M. Maggi | |
| ETConformance | 1.1 | J. Munoz | J. Nakatumba | Test report |
| Fuzzy | 1.2 | J. Li | A. Adriansyah | Test report |
| GeneticMiner | 1.0.1 | C. Bratosin | M. de Leoni | Test report |
| GuideTreeMiner | 1.0 | J.C. Bose | A. Adriansyah | Test report |
| HeuristicsMiner | 1.1 | J. Ribeiro | M. de Leoni | Test report |
| ILPMiner | 1.1 | B.F. van Dongen | J. Nakatumba | Test report |
| LogAbstractions | 1.1 | B.F. van Dongen | M. Westergaard | |
| LogDialog | 1.3 | H.M.W. Verbeek | J.C.A.M. Buijs | Test report |
| LogInsertStart | 1.1 | J. Nakatumba | M. Westergaard | |
| LoLA | 5682 | N. Lohmann | C. Stahl | Test report |
| LpSolve | 5.5.0.15 | B.F. van Dongen | J. Nakatumba | Test report |
| LTLChecker | 1.2 | F.M. Maggi | M. de Leoni | Test report |
| Murata | 1.1 | H.M.W. Verbeek | F.M. Maggi | Test report |
| PerfMeasurement | 1.2 | A. Adriansyah | J.C. Bose | |
| Performance | 1.2 | A. Adriansyah | J.C. Bose | |
| Petri Net API | 5742 | N. Lohmann | C. Stahl | |
| Petrify | 1.2 | H.M.W. Verbeek | Z. Liu | Test report |
| PetriNet2EPC | 1.1 | H.M.W. Verbeek | F.M. Maggi | Test report |
| PetriNetReplayer | 1.2 | H.M.W. Verbeek | J.C.A.M. Buijs | Test report |
| PNAnalysis | 1.3.6 | A. Adriansyah | C. Stahl | |
| PNMLImportExport | 1.2 | H.M.W. Verbeek | J.C.A.M. Buijs | Test report |
| PNUnfolding | 1.1 | A. Adriansyah | F.M. Maggi | Test report |
| PomPom | 1.1 | H.M.W. Verbeek | F.M. Maggi | Test report |
| ServiceTech | 1.1 | H.M.W. Verbeek | C. Stahl | |
| SignatureDiscovery | 1.0 | J.C. Bose | A. Adriansyah | Test report |
| SimpleLogFilter | 1.1 | H.M.W. Verbeek | M. Westergaard | Test report |
| SocialNetwork | 1.0 | M. Song | J.J.C.L. Vogelaar | Test report |
| SPDiagram | 1.2 | A. Adriansyah | J.C. Bose | Test report |
| TestBed | 1.4 | Z. Liu | H.M.W Verbeek | Test report |
| TPNImportExport | 1.1 | H.M.W. Verbeek | J.C.A.M. Buijs | Test report |
| TraceAlignment | 1.0 | J.C. Bose | A. Adriansyah | Test report |
| TransitionChecker | 1.2 | A. Adriansyah | J.C. Bose | |
| TSPetrinet | 1.1 | B.F. van Dongen | Z. Liu | Test report |
| TSAnalyzer | 1.1 | H.M.W. Verbeek | Z. Liu | Test report |
| TSMiner | 1.4 | H.M.W. Verbeek | Z. Liu | |
| TSMLImportExport | 1.1 | H.M.W. Verbeek | Z. Liu | Test report |
| Wendy | 5679 | N. Lohmann | C. Stahl | Test report |
| Woflan | 1.7 | H.M.W. Verbeek | C. Stahl | Test report |
| Workload | 1.1 | J. Nakatumba | M. Westergaard | |
| XPDLImportExport | 1.0 | H.M.W. Verbeek | J.J.C.L. Vogelaar | Test report |