Handle Timed Petri Nets using discrete semantics.
Comments.
Format output of sharp.
Optimize operations for transitions which don’t share pre-places with the currently fired transition.
Better handling of open time intervals.
Reinstate handling of exceptions in main.
Load order from file for TPN.
Tina parse: check TPN lower endpoint.
Warn that some options are not supported yet for TPNs.
Tina parser: better check of time intervals.
Optimize operations for transitions with no impact on time.
Merge branch 'master' into tpn
Code cleanup.
Use reverse iterators.