Viewing all changes in revision 973.
- Committer: ptaankvist at gmail
- Date: 2018-09-12 11:47:55 UTC
- Revision ID: ptaankvist@gmail.com-20180912114755-tjdk18ik17g5cenc
use verifyPN for untimed nets and verifyTAPN for timed nets on deadlock and state space in batch
expand all
collapse all
added
removed
