Paper/The Mathematical Specification of the Statebox Language

From PKC
Jump to navigation Jump to search

Genovese, Fabrizio; Herold, Jelle (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.

Currently your browser does not use a PDF plugin. You may however download the PDF file instead.

References

Related Pages

Fabrizio Genovese Jelle Herold