Dialectica Petri nets
author
Di Lavore, Elena
Leal, Wilmer
de Paiva, Valeria
statement of authorship
Elena Di Lavore, Wilmer Leal, Valeria de Paiva
source
Fundamenta Informaticae
publisher
Episciences
journal volume number month
vol. 194, 3
year of publication
2025
pages
art. 4
url
https://doi.org/10.46298/fi.13125
subject term
Petri võrgud
keemilised reaktsioonid
struktuur
keyword
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
scientific publication
teaduspublikatsioon
classifier
1.1
TalTech department
Tarkvarateaduse instituut
Department of Software Science
language
English
Inglise