BasicHowTo needs to be updated about rpst creation about codebase HOT 2 OPEN

Quick fix: see RPSTTest.java in jbpt-test module.

Install GraphViz and use IOUtils.invokeDOT to generate PNGs from Java code.

For more information on RPST, read:
Artem Polyvyanyy, Jussi Vanhatalo, and Hagen Völzer. Simplified Computation 
and Generalization of the Refined Process Structure Tree. Proceedings of the 
7th International Workshop on Web Services and Formal Methods (WS-FM). Hoboken, 
New Jersey, USA, September 16-17, 2010. LNCS 6551, pp. 25-41, Springer-Verlag.

Perfect! Thank you.  Just few comments for MAC users

Before install Graphviz on Mountain Lion

install this
https://developer.apple.com/downloads/index.action

and follow this 
http://kerdsri.com/2012/09/05/how-to-install-graphviz-on-mountain-lion/

then in the class IOUtils change in
DEFAULT_GRAPHVIZ_DEFAULT_PATH = "/usr/local/bin/dot";

as path for  the executable dot. At least, mine is like that for MAC OS X.