full record print

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
pages
art. 4
url
ISSN
1875-8681
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
English
subject term
keyword
Petri nets
Dialectica categories
categorical models of Petri nets
linear logic of Petri nets
symmetric monoidal closed category
lineale
chemical reaction networks
Di Lavore, E., Leal, W., de Paiva, V. Dialectica Petri nets // Fundamenta Informaticae (2025) vol. 194, 3, art. 4. https://doi.org/10.46298/fi.13125