We are excited to share with you a sneak preview of the Statebox Studio. We removed all the Elm code from our repositories and ported it to Purescript Halogen to get a clean, sustainable code base, supporting our long term vision for the studio.
For those of you who are not familiar with this, the Statebox Studio allows one to click through a process, examine the types of transitions and places, automatically generate forms for different data types, inspect the history of fired transitions and much more.
Here is a succinct list of research papers which the Statebox team found valuable throughout this past year. On this note, we would like to publicly thank our advisors for the time they put into Statebox and for helping us make this project stand at the cutting-edge of applied category theory research.
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
Modular Encoding of Synchronous and Asynchronous Interactions Using Open Petri Nets
Connector Algebras for C/E and P/T Nets' Interactions
Lending Petri Nets and Contracts
Diagrammatic Algebra: From Linear to Concurrent Systems
Finally, Statebox has pushed a new version of the monograph which you can read online here.
Give us a shout on our telegram channel if you want to connect.
The Statebox Team