v1.2

• New: It is now possible to manually change the name of places and transitions as well as setting their names in PNML-files (by using the id-attribute).
• Change: Places/transitions will now keep their name when deleting places/transitions.
• GUI Improvement: Subscripts in the CCS was shown as underscores but are now show as subscripts.
• GUI Improvement: The images in the Help section was updated such that they are only animated when hovering over them (or tabbing on the on touch devices).
• Code Improvement: Added comments in the code.

v1.1.2

• Adjustments to match paper

v1.1.1

• Improve documentation

v1.1

• New: The tool now generates a visual representation of the 2-τ-synchronisation net that is generated during the encoding (if the Petri net is not already a 2-τ-synchronisation net) where the places and transitions can be moved around. It is hidden by default.
• New: Full support for touch devices. The tool now supports dragging and dropping new places/transition onto the drawing area. Furthermore, actions like swiping from the top to reload or using two fingers to zoom no longer conflicts with actions in the tool.
• GUI Improvement: The different areas can now be shown or hidden to make more space for the others.
• GUI Improvement: All the areas in the tool are stacked on small screens to make it usable on those devices too.
• Encoding Change: The names of the synchronisation actions introduced in the encoding now takes the same name (number) as the transition it corresponds to instead of just being named in increasing order. Example: Previously the transition t_8 would result in s_1 if it is the first synchronisation, s_2 if it is the second synchronisation, etc. Now, it will always be s_8.
• GUI Change: Places will no longer show ⬤x0 when they have no tokens and 1-3 tokens will be shown as ⬤, ⬤⬤ and ⬤⬤⬤.
• Examples: Added three more examples.

v1.0.1

• Bug fix: Having a place and transition at the same position with an edge no longer gives an error in Firefox (it was silently ignored in Chromium browsers). This prevented importing Petri nets containing that case.

v1.0.0

Initial release.