I have a log file , from which i'm generating a petri net.
The older version of prom5, makes it possible to export it as a coloured petri net. Yet PROM 6 dont. And im pretty sure it is possible in order to perform simulation using cpn tools.
Can someone help me ?