Merge branch 'devel'
new mapping PN to Log

git-svn-id: https://svn.win.tue.nl/repos/prom/Packages/PetriNetReplayAnalysis/Trunk@6410 a68f48d4-8d00-424f-b812-3f22a534a02a
Updated version to 6.3. Required for BPMNMeasures package.

git-svn-id: https://svn.win.tue.nl/repos/prom/Packages/PetriNetReplayAnalysis/Trunk@10025 a68f48d4-8d00-424f-b812-3f22a534a02a