PetriTool Planned Improvements
- Include in Net Properties window an explanation of of overflows, show the total number of Places, Tokens, Arcs, and Transitions, show Initial Marking
- Allow a Transition to be Disabled from Firing During Simulation
- Smart Numbering of Places and Transitions (keeping track of deleted numbers)
- Component Dragging
- Selection of Components via Selection Box