Now with the code update

v0.4.4.1

new webpage build

Added Petri net editor

Also did a refactor for new package versions.

bugfix for blog figures

v0.4.3.1

bugfix on blog figures

Added MathJax and TS Editor exports formal components

v0.4.3

new webpage build

v0.4.2

Added further support for the transition editor. A bad zoom to viewport is added. Labels are used text along connections instead of rendering them. Importing and exporting how respects waypoints in the original net.

Full Changelog: v0.4.1...v0.4.2

Updated Final Seminar

Included the re-recording of the final seminar.

Filled out old blog posts and updates to editors

The blog posts have been revisited and filled out so that they don't look like a graveyard.

The transition system editor is reaching maturity. You can now import, export, and save the models (as svgs) to your hearts content.

Improvements for the TransitionSystem Editor

This patch has some extra features for the editor including labels for states and actions, a bit of styling for ending states, and now uses the snapping module for managing the looks of the system.

bugfix for editors

The world of javascript continues to amaze me in ways I continue to ignore. Patch includes bugfix to make sure the correct dependencies are included and transition system editor (hopefully) can work.

Editors to create formalisms

In this update, I have added a new section for editors. This build includes a basic editor to visually construct a transition systems consisting of states and directed arcs. Future builds may include the ability to export the constructed transition systems.

Also included was an updated cv and a bit of cleaning in other parts.