A Categorical semantics for bounded Petri Nets

vastutusandmed
Fabrizio Genovese, Fosco Loregian, Daniele Palombi
allikas
Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, USA, 12-16 July 2021
kirjastus/väljaandja
ilmumisaasta
leheküljed
15 p
konverentsi nimetus, aeg
4th Annual International Applied Category Theory Conference 2021 [ACT 2021], 12-16 July 2021
konverentsi toimumispaik
Cambridge, MA, USA
ISSN
2075-2180
märkused
bibliogr.: 24 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1.
TTÜ struktuuriüksus
keel
inglise
Genovese, F., Loregian, F., Palombi, D. A Categorical semantics for bounded Petri Nets // Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, USA, 12-16 July 2021. : Open Publishing Association, 2021. 15 p.