We are happy to announce the latest developments regarding our finate state machine oracle: support for Petri nets using hypergraphs. You can find the complete documentation and installation instructions available here. The compatibility with our string diagram editor will follow soon.
The Idris backend has been updated for support with references and better ergonomics. Most notably, reference to type constructors is now allowed. All of it is used in FSM-oracle!
You can find the release here.
The paper "A Categorical Semantics for Guarded Petri Nets", by Fabrizio in collaboration with David Spivak was accepted to the International Conference on Graph Transformation in Bergen, Norway. Fabrizio will give an online presentation of the paper on 25 June at 11.30 CEST. Tune in on here if you want to follow along.
Statebox will be present this year at ACT as well. The conference will take place online instead of at MIT as originally planned. Among some of the highlights are the tutorial day on 5 July when Fabrizio will give an introduction on string diagrams and the business talk by Jelle Herold entitled Industrial Strenght CT.
Due to a high interest in the online category theory course from June, we decided to organize a new one on 27-30 July. The course will take place live on Zoom from 12 to 7 pm CEST.