verifypn

  1. Bug #1232486
  2. Comment #12

Comment 12 for bug 1232486

Revision history for this message
Jiri Srba (srba) wrote :

Thanks, I think we will have a look at the PNML format soon. Some users requested export to this format for the use
with other tools.

Btw. does verifypn support or could support deadlock proposition (valid if no transition is enabled at all)?