This is a list of off-site tutorials on getting started with new features in CPN Tools 4.
- Declare constraints
- Place-Transition Petri Nets
- New Types (IntInf, real, time)
- Minor features
- Model statistics
- Simulation stop criteria
- Simplified state-space analysis
- Message Sequence Charts
- Time Intervals and Time Reduction
- Extensions:
