Dialectica Petri nets
autor
Di Lavore, Elena
Leal, Wilmer
de Paiva, Valeria
vastutusandmed
Elena Di Lavore, Wilmer Leal, Valeria de Paiva
allikas
Fundamenta Informaticae
kirjastus/väljaandja
Episciences
ajakirja aastakäik number kuu
vol. 194, 3
ilmumisaasta
2025
leheküljed
art. 4
leitav
https://doi.org/10.46298/fi.13125
märksõna
Petri võrgud
keemilised reaktsioonid
struktuur
võtmesõna
Petri nets
Dialectica categories
categorical models of Petri nets
linear logic of Petri nets
symmetric monoidal closed category
lineale
chemical reaction networks
ISSN
1875-8681
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
Tarkvarateaduse instituut
Department of Software Science
keel
English
Inglise