Login / Signup
Viktor Teren
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Petri Net
State Machines
Practical Reasoning
Transition Systems
Top Venues
DSD
CoRR
Int. J. Appl. Math. Comput. Sci.
</>
Publications
</>
Viktor Teren
,
Jordi Cortadella
,
Tiziano Villa
Seto: A Framework for the Decomposition of Petri Nets and Transition Systems.
DSD
(2023)
Viktor Teren
,
Jordi Cortadella
,
Tiziano Villa
Generation of synchronizing state machines from a transition system: A region-based approach.
Int. J. Appl. Math. Comput. Sci.
33 (1) (2023)
Viktor Teren
,
Jordi Cortadella
,
Tiziano Villa
Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets.
DSD
(2022)
Viktor Teren
,
Jordi Cortadella
,
Tiziano Villa
Decomposition of transition systems into sets of synchronizing state machines.
CoRR
(2021)
Viktor Teren
,
Jordi Cortadella
,
Tiziano Villa
Decomposition of transition systems into sets of synchronizing state machines.
DSD
(2021)