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.
Export identifiers to DOT.
Merge branch 'master' into tpn
Code cleanup.
Use reverse iterators.
Detect dead transitions of TPN.
Can limit the maximal marking for TPN.
pre_clock is a selector.
Enable shifter predicate for advance*.
TPN: optimize the case of transitions wich don't share pre places.