Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Petri võrgud (subject term)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
7
Look more..
(5/34)
Export
export all inquiry results
(7)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article ENG
A Categorical semantics for bounded Petri Nets
Genovese, Fabrizio
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 2021
2021
/
15 p
https://doi.org/10.48550/arXiv.2101.09100
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
2
book article EST
/
book article ENG
A categorical semantics for hierarchical Petri Nets
Genovese, Fabrizio
;
Herold, Jelle
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 2021
2021
/
p. 51−68
https://doi.org/10.48550/arXiv.2102.00096
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
3
book article
Comparing the modelling power of Petri nets and Q-models
Tekko, Jaanus
Artificial Intelligence in Real-Time Control 1995 : [proceedings]
1996
/
5 p
book article
4
dissertation
Klassidiagrammide automaatpaigutus
Kuusik, Ago
1994
https://www.ester.ee/record=b2111062*est
dissertation
5
book article EST
/
book article ENG
Nets with mana : a framework for chemical reaction modelling
Genovese, Fabrizio
;
Loregian, Fosco
;
Palombi, Daniele
Graph Transformation : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021 : proceedings
2021
/
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
book article EST
/
book article ENG
6
book article EST
/
book article ENG
Obstructions to compositionality
Puca, Caterina
;
Hadzihasanovic, Amar
;
Genovese, Fabrizio
;
Coecke, Bob
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 226-245
https://doi.org/10.4204/EPTCS.397.14
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
7
dissertation
Petri võrkude ja Q-mudeli võrdlus : magistritöö
Tekko, Jaanus
1994
https://www.ester.ee/record=b4610164*est
dissertation
Number of records 7, displaying
1 - 7
author
24
1.
Ahonen, Petri
2.
Ajo, Petri
3.
Auvinen, Petri
4.
Ekholm, Petri
5.
Hovila, Petri
6.
Hyvonen, Petri
7.
Hyvönen, Petri
8.
Järvikuona, Petri
9.
Kangassalo, Petri
10.
Kuosmanen, Petri
11.
Kärhä, Petri
12.
Lahtvee, Petri-Jaan
13.
Liesivaara, Petri
14.
Linna, Petri
15.
Maunula, Petri
16.
Nokelainen, Petri
17.
Ola, Petri
18.
Pulkkinen, Petri
19.
Pylsy, Petri
20.
Susi, Petri
21.
Uusi-Kyyny, Petri
22.
Uusitalo, Petri
23.
Varsta, Petri
24.
Vuoristo, Petri
CV
4
1.
Hyvönen, Petri Olavi 1969
2.
Kangassalo, Petri
3.
Kangassalo, Petri Sakari
4.
Lahtvee, Petri-Jaan 1985
keyword
3
1.
Colored Petri Net
2.
Coloured Petri Nets
3.
Petri nets
subject term
2
1.
Petri võrgud
2.
semantilised võrgud
name of the person
1
1.
Lahtvee, Petri-Jaan
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT