Statebox Newsletter - December

Statebox Studio Sneak Preview

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.

Inspirational Research from 2018

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.

Open Petri Nets

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

Hypergraph Categories

Modular Encoding of Synchronous and Asynchronous Interactions Using Open Petri Nets

Compositional Game Theory

Connector Algebras for C/E and P/T Nets' Interactions

Lending Petri Nets and Contracts

Diagrammatic Algebra: From Linear to Concurrent Systems

New Version of the Monograph

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.

Thanks for reading!

The Statebox Team