Aquileo | Recent changes to bugs

Aquileo | No source code / documentation available

2014-04-11T21:34:05.045000Z

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

2010-10-29T11:35:04Z

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

2009-10-13T11:56:00Z

The CVS Repository on SourceForge is empty.

Aquileo | Faulty PNML import

2007-09-06T18:40:35Z

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.