Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
AAPDiagram-1.2-all.zip | 2010-09-06 08:36 | 34K | ||
Abstractions-1.2.4-a..> | 2010-09-06 08:37 | 143K | ||
AlphaMiner-1.2-all.zip | 2010-09-06 08:38 | 12K | ||
BPM2010-1.0-all.zip | 2010-07-23 09:17 | 3.7K | ||
BPM2010-1.1-all.zip | 2010-09-06 13:32 | 3.7K | ||
BPMN-1.1-all.zip | 2010-08-26 17:10 | 11K | ||
COSAImportExport-1.1..> | 2010-06-16 12:27 | 48K | ||
CPlex-12.1-lin32.zip | 2010-06-08 10:08 | 14M | ||
CPlex-12.1-lin64.zip | 2010-09-06 15:50 | 14M | ||
CPlex-12.1-win32.zip | 2010-06-08 09:29 | 8.4M | ||
CPlex-12.1-win64.zip | 2010-06-08 09:56 | 12M | ||
Declare-1.2.3-all.zip | 2010-09-06 08:42 | 448K | ||
DottedChart-1.0-all.zip | 2010-05-21 10:51 | 114K | ||
EPMLImportExport-1.1..> | 2010-06-16 12:29 | 112K | ||
ETConformance-1.1-al..> | 2010-06-17 08:07 | 36K | ||
Fuzzy-1.2.1-all.zip | 2010-09-06 08:49 | 549K | ||
Fuzzy-1.2.2-all.zip | 2010-09-09 16:44 | 373K | ||
GeneticMiner-1.0.3-a..> | 2010-08-26 15:49 | 156K | ||
GuideTreeMiner-1.0.2..> | 2010-09-06 09:06 | 698K | ||
HeuristicsMiner-1.2-..> | 2010-08-19 11:12 | 242K | ||
HybridMiner/ | 2014-04-05 09:13 | - | ||
ILPMiner-1.6-all.zip | 2010-09-02 11:39 | 1.5M | ||
LPSolve-5.5.0.15-lin..> | 2010-03-16 17:25 | 733K | ||
LPSolve-5.5.0.15-lin..> | 2010-03-16 17:25 | 798K | ||
LPSolve-5.5.0.15-win..> | 2010-03-16 16:44 | 1.1M | ||
LPSolve-5.5.0.15-win..> | 2010-03-16 16:14 | 1.3M | ||
LTLChecker-1.2.3-all..> | 2010-09-06 09:07 | 883K | ||
LogAbstractions-1.1-..> | 2010-06-16 12:13 | 8.7K | ||
LogDialog-1.6-all.zip | 2010-08-23 10:49 | 64K | ||
LogInsertStart-1.1-a..> | 2010-09-06 08:52 | 39K | ||
Murata-1.1-all.zip | 2010-06-16 12:25 | 37K | ||
PNAnalysis-1.3.6-all..> | 2010-09-06 09:00 | 186K | ||
PNMLImportExport-1.4..> | 2010-09-03 11:51 | 142K | ||
PNUnfolding-1.3-all.zip | 2010-09-06 09:01 | 93K | ||
PerfMeasurement-1.3-..> | 2010-09-06 09:00 | 67K | ||
Performance-1.2-all.zip | 2010-09-06 08:59 | 64K | ||
PetriNet2EPC-1.1-all..> | 2010-06-16 12:34 | 8.8K | ||
PetriNetReplayer-1.2..> | 2010-06-17 17:23 | 41K | ||
Petrify-1.3-all.zip | 2010-08-23 09:48 | 24K | ||
PomPom-1.2-all.zip | 2010-08-24 08:42 | 13K | ||
SPDiagram-1.2-all.zip | 2010-09-06 09:02 | 34K | ||
ServiceTech-1.1-all.zip | 2010-06-16 12:40 | 36K | ||
SignatureDiscovery-1..> | 2010-07-26 09:45 | 227K | ||
SimpleLogFilter-1.2-..> | 2010-08-19 09:58 | 27K | ||
SocialNetwork-1.1-al..> | 2010-08-24 14:39 | 140K | ||
TPNImportExport-1.1-..> | 2010-06-16 12:46 | 37K | ||
TSAnalyzer-1.2-all.zip | 2010-08-10 15:02 | 80K | ||
TSMLImportExport-1.1..> | 2010-06-16 12:47 | 75K | ||
TSMiner-1.5-all.zip | 2010-08-23 10:25 | 81K | ||
TSPetrinet-1.2-all.zip | 2010-08-24 12:03 | 39K | ||
TSPetrinet-1.3-all.zip | 2010-09-07 08:07 | 39K | ||
TestBed-1.4-all.zip | 2010-06-17 14:22 | 215K | ||
TestBed-1.5-all.zip | 2010-09-09 07:41 | 226K | ||
TestBed-1.6-all.zip | 2010-09-10 15:25 | 224K | ||
TraceAlignment-1.0.2..> | 2010-09-06 09:04 | 295K | ||
TransitionChecker-1...> | 2010-09-06 08:59 | 3.7K | ||
Woflan-1.7-all.zip | 2010-06-18 08:00 | 32K | ||
Woflan-1.8-all.zip | 2010-10-01 11:22 | 34K | ||
Woflan-6.1.35-all.zip | 2011-03-15 15:29 | 75K | ||
Workload-1.1-all.zip | 2010-09-06 09:05 | 101K | ||
XPDLImportExport-1.2..> | 2010-08-30 10:38 | 315K | ||
lola-macos-universal..> | 2010-09-06 08:54 | 4.0M | ||
lola-windows-i386.zip | 2010-09-06 08:55 | 6.7M | ||
packages.xml | 2013-05-27 14:51 | 37K | ||
packages.xml.bak | 2010-10-01 11:25 | 36K | ||
packagesMM.xml | 2010-11-23 13:00 | 28K | ||
packagesMM.xml.bak | 2010-11-23 12:54 | 36K | ||
pnapi-macos-universa..> | 2010-09-06 08:55 | 465K | ||
pnapi-windows-i386.zip | 2010-09-06 08:55 | 2.4M | ||
prom_subtitle_hat_30..> | 2013-05-27 14:36 | 76K | ||
wendy-macos-universa..> | 2010-09-06 08:55 | 1.0M | ||
wendy-windows-i386.zip | 2010-09-06 08:55 | 1.0M | ||