New in CPN Tools 4 – CPN Tools

Posted: January 16, 2018/Under: Getting started/By: admin

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:

You must be logged in to post a comment.