Výsledky vyhledávání - "Viktor Teren"

Decomposition of transition systems into sets of synchronizing state machines

Autor: Jordi Cortadella, Viktor Teren, Tiziano Villa

Publikováno v: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
DSD

Transition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a given TS a PN whose reachability graph is equivalent (with a suitable not

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22171f1e04198ff859e6ce4f6504b661

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání