Paper/The Mathematical Specification of the Statebox Language
Jump to navigation
Jump to search
Genovese, Fabrizio (June 18, 2019). The Mathematical Specification of the Statebox Language (PDF). local page: arXiv.
This is the paper that talks about a Category Theory-based Petri Net specification language.