Difference between revisions of "Paper/The Mathematical Specification of the Statebox Language"
Jump to navigation
Jump to search
(Created page with "{{cite book |title=The Mathematical Specification of the Statebox Language |first1=Fabrizio |last1=Genovese |author-link=Fabrizio Genovese |date=Oct 12, 2021 |publisher=arXiv...") |
|||
| Line 4: | Line 4: | ||
|last1=Genovese | |last1=Genovese | ||
|author-link=Fabrizio Genovese | |author-link=Fabrizio Genovese | ||
|date= | |date=June 18, 2019 | ||
|publisher=arXiv | |publisher=arXiv | ||
|url=https://arxiv.org/pdf/1906.07629.pdf | |url=https://arxiv.org/pdf/1906.07629.pdf | ||
| Line 11: | Line 11: | ||
<noinclude> | <noinclude> | ||
This paper | This is the paper that talks about a [[Category Theory]]-based [[Petri Net]] specification language. | ||
{{#Widget:PDF | {{#Widget:PDF | ||
Revision as of 11:55, 3 April 2022
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.