Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1904.12974
Cited By
v1
v2 (latest)
Computational Petri Nets: Adjunctions Considered Harmful
29 April 2019
F. Genovese
A. Gryzlov
Jelle Herold
Marco Perone
Erik Post
André Videla
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Computational Petri Nets: Adjunctions Considered Harmful"
6 / 6 papers shown
Yoneda Hacking: The Algebra of Attacker Actions
Georgios Bakirtzis
F. Genovese
C. Fleming
AAML
227
6
0
26 Feb 2021
A Categorical Semantics for Hierarchical Petri Nets
F. Genovese
Jelle Herold
Fosco Loregian
Daniele Palombi
67
6
0
29 Jan 2021
A Categorical Semantics for Guarded Petri Nets
International Conference on Graph Transformation (ICGT), 2020
F. Genovese
David I. Spivak
39
5
0
29 Jan 2020
The Essence of Petri Net Gluings
F. Genovese
Fosco Loregian
Daniele Palombi
46
2
0
08 Sep 2019
Mapping finite state machines to zk-SNARKS Using Category Theory
F. Genovese
A. Knispel
Joshua Fitzgerald
212
2
0
06 Sep 2019
The Mathematical Specification of the Statebox Language
Statebox Team
F. Genovese
Jelle Herold
72
10
0
18 Jun 2019
1
Page 1 of 1
