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...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 3: | Line 3: | ||
|first1=Fabrizio | |first1=Fabrizio | ||
|last1=Genovese | |last1=Genovese | ||
|author- | |first2=Jelle | ||
|date= | |last2=Herold | ||
|author-link1=Fabrizio Genovese | |||
|author-link2=Jelle Herold | |||
|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 14: | ||
<noinclude> | <noinclude> | ||
This paper | This is the paper that talks about a [[Category Theory]]-based [[Petri Net]] specification language. | ||
{{#Widget:PDF | {{#Widget:PDF | ||
Latest revision as of 11:56, 3 April 2022
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.