prindi

A Categorical semantics for bounded Petri Nets

autor
Genovese, Fabrizio
Loregian, Fosco
Palombi, Daniele
vastutusandmed
Fabrizio Genovese, Fosco Loregian, Daniele Palombi
allikas
Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 2021
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2021
leheküljed
15 p
konverentsi nimetus, aeg
4th Annual International Applied Category Theory Conference 2021 [ACT 2021], 12-16 July 2021
konverentsi toimumispaik
Cambridge, United Kingdom
leitav
https://doi.org/10.48550/arXiv.2101.09100
märksõna
Petri võrgud
loogika
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q3
kategooria (üld)
Arvutiteadus
kategooria (alam)
Arvutiteadus. Tarkvara
ISSN
2075-2180
märkused
bibliogr.: 24 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor
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, United Kingdom, 12-16 July 2021. : Open Publishing Association, 2021. 15 p. https://doi.org/10.48550/arXiv.2101.09100