Closed DriesJarijch closed 8 months ago
Dear @DriesJarijch
The conversion works without problems on 1.pnml, 2.pnml and test_im.pnml (which are block-structured)
For test_bm.pnml, it does not work because the Petri net is not block structured (the algorithm works only for that class of Petri nets).
Errata corrige: it is indeed block-structured. We will work to fix this issue
We resolved the problems, and obtain the following process trees:
1.pnml:
2.pnml:
test_im.pnml:
test_bm.pnml:
pn to pt.zip
Using this file, I was hoping to generate a process tree from the petrinets provided. My output is stored in the ptrees file. They don't seem to convert correctly.
Thank you in advance