Where are tutorial files repairexample.xes.zip and standard.ltl.zip

tayloj

I'm a new ProM 6 user (or will be soon), and I've gone through the Getting Started document, and am now working through the ProM 6 tutorial, but some of the links seem to be dead.  In section 1.4 Getting Started there are instructions to

"""

2. Download a log file and the default LTL model for the running example.  These are:

  * repairExample.xes, which is contained in repairExample.xes.zip[2] and

  * standard.lrl, which is contained in standard.ltl.zip[3]

[2] http://prom.win.tue.nl/research/wiki/_media/tutorial/repairexample.xes.zip

[3] http://prom.win.tue.nl/research/wiki/_media/tutorial/standard.ltl.zip

"""

Requesting either of those URLs results in a timeout.  I can get a file named repairexample.xes from the zip file for chapter 8 from 

http://www.processmining.org/event_logs_and_models_used_in_book

but I'm still stuck on the standard.ltl.zip.  I though to try to use the package manager to install the LTL model checker, but I'm having very little luck launching the package manager (though it started on the ProM 6's maiden run without a problem).  I'm running on Ubuntu, and thought that (based on ProM62PM.bat) that I could launch the package manager from the command line, but that fails as follows:

$ java -cp ProM62.jar org.processmining.context.uitopia.packagemanager.PMFrame

Error: Could not find or load main class org.processmining.context.uitopia.packagemanager.PMFrame

although jar tf confirms that the class is there:

$ jar tf ProM62.jar | grep PMFrame

org/processmining/contexts/uitopia/packagemanager/PMFrame$1.class

org/processmining/contexts/uitopia/packagemanager/PMFrame$2.class

org/processmining/contexts/uitopia/packagemanager/PMFrame.class

I really hope I'm just missing something simple here; thanks in advance for your help.

//JT

tayloj

Well, of course I figure this out just after posting the message.  Here's the solution, for anyone else that runs into the same problem.  On the page "Event Logs" on processmining.org [1], there is a link to repairExample.zip [2] (which actually links a to repairexample.zip (different case) and lacking the ".xes" that's present in the tutorials (repairexample.xes.zip)).  On the supposition that http://prom.win.tue.nl/research/wiki/ can be replaced by http://processingmining.org/ I successfully tried retrieving standard.ltl.zip [3].

It'd be nice if the links in the tutorial could be updated (and the filenames made consistent).  Now I'm off to mine some processes... //JT

[1] http://www.processmining.org/logs/start

[2] http://www.processmining.org/_media/tutorial/repairexample.zip

[2] http://www.processmining.org/_media/tutorial/standard.ltl.zip

odyyudah

thank you. this is what I need.