TEREN, VIKTOR
TEREN, VIKTOR
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.005 secondi).
Decomposition of sequential and concurrent models
2024-01-01 Teren, Viktor; Villa, Tiziano
Decomposition of transition systems into sets of synchronizing free-choice Petri nets
2022-01-01 Teren, Viktor; Cortadella, Jordi; Villa, Tiziano
Decomposition of transition systems into sets of synchronizing state machines
2021-01-01 Teren, Viktor; Cortadella, Jordi; Villa, Tiziano
Generation of synchronizing state machines from a transition system: a region-based approach
2023-01-01 Teren, Viktor; Cortadella, Jordi; Villa, Tiziano
Seto: a framework for the decomposition of Petri nets and transition systems
2023-01-01 Teren, Viktor; Cortadella, Jordi; Villa, Tiziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Decomposition of sequential and concurrent models | 1-gen-2024 | Teren, Viktor; Villa, Tiziano | |
| Decomposition of transition systems into sets of synchronizing free-choice Petri nets | 1-gen-2022 | Teren, Viktor; Cortadella, Jordi; Villa, Tiziano | |
| Decomposition of transition systems into sets of synchronizing state machines | 1-gen-2021 | Teren, Viktor; Cortadella, Jordi; Villa, Tiziano | |
| Generation of synchronizing state machines from a transition system: a region-based approach | 1-gen-2023 | Teren, Viktor; Cortadella, Jordi; Villa, Tiziano | |
| Seto: a framework for the decomposition of Petri nets and transition systems | 1-gen-2023 | Teren, Viktor; Cortadella, Jordi; Villa, Tiziano |