[1] Tool available at http://www.informatik.hu-berlin.de/top/bpel2pn
[2] http://www.informatik.hu-berlin.de/top/lola/doku.ps
[3] http://www.fmi.uni-stuttgart.de/szs/tools/mckit
[4] http://www.informatik.hu-berlin.de/top/download/publications/MassutheReisigSchmidt-OGApproach.ps
[5] http://www.informatik.hu-berlin.de/Institut/struktur/systemanalyse/preprint/stahl188.pdf
[6] http://www.informatik.hu-berlin.de/top/download/publications/weinberg04.pdf