CPN Tools has supported timed models almost since the first releases. Starting with version 3, we introduced models where we allowed the time stamp to be a real value, making it simpler to make simulation-based analysis. CPN Tools allows choosing time stamps from an interval but in a manner that still allows state-space analysis. Time […]
Read More… from CPN Tools 4: Time Intervals and Time Reduction