#32 Anyway to make reachability graph?

[Ali H.B]

Dear provider,

I found PIPE3 a very powerful and wonderful tool for modeling and test PN-models. However, when I provide a model with 118 state and 344 arcs, I could not created reachability graph. Do you know any way or other tools to create it?

Regards,
A.H.B