Aquileo | Recent changes to bugs

Aquileo | No source code / documentation available

Fri, 11 Apr 2014 21:34:05 -0000

I'm trying to get the source code to compile Prom from scratch but I only see some scattered files and no documentation on how to build it. is it possible that you add a minimal set of instructions on how to build it (and making the code easier to find)?

Thanks!

Aquileo | Linux version

Fri, 29 Oct 2010 11:35:04 -0000

The linux version basically is no specific version. It just consists of the shell script that issues the appropriate java invocation. That's fine.

However, when displaying a process, an error message saying that the program "dot" could not be loaded, occurred. The reason was, that I did not have installed graphviz (sudo apt-get install dot). There could have been at least any word, e.g. in the FAQ about this requirement. Moreover there was a directory called dot containing some dlls and dot.exe. In consequence, I thought, it's not really available for Linux.

To sum up, the bug is, that not all requirements are checked when opening the program. Or at least the error messages are not specific enough. Maybe the shell script can check whether graphviz is installed and install it if needed.

The FAQ (http://prom.win.tue.nl/research/wiki/prom/faq) should get a similar entry for Linux instead of MacOS, as well.

Aquileo | Empty CVS Repository

Tue, 13 Oct 2009 11:56:00 -0000

The CVS Repository on SourceForge is empty.

Aquileo | Faulty PNML import

Thu, 06 Sep 2007 18:40:35 -0000

I imported the PNML file attached into ProM. The initial marking consists of two tokens (places Px16 and Px17).

Around 20-50 markings should be reachable from the initial marking. However, the reachability analysis (Analysis => Selected Petri net => Petri net analysis) only displays 2 other markings.

Obviously, the tool thinks that the initial marking only consists of one token on place Px16.