Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus EST / artikkel kogumikus ENG

A Categorical semantics for bounded Petri NetsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleProceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 20212021 / 15 p https://doi.org/10.48550/arXiv.2101.09100 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

2

artikkel kogumikus EST / artikkel kogumikus ENG

A categorical semantics for hierarchical Petri NetsGenovese, Fabrizio; Herold, Jelle; Loregian, Fosco; Palombi, DanieleProceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 20212021 / p. 51−68 https://doi.org/10.48550/arXiv.2102.00096 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

3

artikkel kogumikus

Comparing the modelling power of Petri nets and Q-modelsTekko, JaanusArtificial Intelligence in Real-Time Control 1995 : [proceedings]1996 / 5 p

artikkel kogumikus

4

dissertatsioon

Klassidiagrammide automaatpaigutusKuusik, Ago1994 https://www.ester.ee/record=b2111062*est

dissertatsioon

5

artikkel kogumikus EST / artikkel kogumikus ENG

Nets with mana : a framework for chemical reaction modellingGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleGraph Transformation : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021 : proceedings2021 / p. 185−202 https://doi.org/10.1007/978-3-030-78946-6_10 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

6

artikkel kogumikus EST / artikkel kogumikus ENG

Obstructions to compositionalityPuca, Caterina; Hadzihasanovic, Amar; Genovese, Fabrizio; Coecke, Bob6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 226-245 https://doi.org/10.4204/EPTCS.397.14 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

7

dissertatsioon

Petri võrkude ja Q-mudeli võrdlus : magistritööTekko, Jaanus1994 https://www.ester.ee/record=b4610164*est

dissertatsioon