A Categorical semantics for bounded Petri Nets
author
Genovese, Fabrizio
Loregian, Fosco
Palombi, Daniele
statement of authorship
Fabrizio Genovese, Fosco Loregian, Daniele Palombi
source
Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 2021
publisher
Open Publishing Association
year of publication
2021
pages
15 p
conference name, date
4th Annual International Applied Category Theory Conference 2021 [ACT 2021], 12-16 July 2021
conference location
Cambridge, United Kingdom
url
https://doi.org/10.48550/arXiv.2101.09100
subject term
Petri võrgud
loogika
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85142921468&origin=inward&txGid=e70c761326d96e00dcec3368204dfe1c
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300006
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
ISSN
2075-2180
notes
bibliogr.: 24 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods