> Statebox is blending an ACT approach to Petri nets together with blockchain technology to develop a technology stack based on a visual programming language. In addition, they have built a software engine for compositional game-theoretic modeling, a finite state machine oracle.
Hmm.
More seriously:
> Structured cospans of Petri nets were implemented
in the software package Julia to develop an SIR model that
is compositional in the sense that various cities can each
have their own model that can be connected together to
form a composite SIR model
SIR is the most common way of modelling infectious diseases. Having said that though - there are plenty of SIR models that don't require category theory.
> Statebox is blending an ACT approach to Petri nets together with blockchain technology to develop a technology stack based on a visual programming language. In addition, they have built a software engine for compositional game-theoretic modeling, a finite state machine oracle.
Hmm.
More seriously:
> Structured cospans of Petri nets were implemented in the software package Julia to develop an SIR model that is compositional in the sense that various cities can each have their own model that can be connected together to form a composite SIR model
SIR is the most common way of modelling infectious diseases. Having said that though - there are plenty of SIR models that don't require category theory.