To learn more about Statebox see:
The Mathematical Specification of the Statebox Language 1906.07629
The idris-ct library
Computational Petri Nets: Adjunctions Considered Harmful 1904.12974
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories 1805.05988
This is a language agnostic typesystem developed by us which uses constructions based on category theory.