Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Teren Viktor"'
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 33, Iss 1, Pp 133-149 (2023)
Transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. A crucial problem is how to extract, from a given TS, a PN whose reachability graph is equivalent (with a suitable no
Externí odkaz:
https://doaj.org/article/ab0576b2dffe4f558ecedd4e03078e31
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:
http://arxiv.org/abs/2106.13852
Publikováno v:
2022 25th Euromicro Conference on Digital System Design (DSD).
Petri nets and transition systems are two important formalisms used for modeling concurrent systems. One interesting problem in this domain is the creation of a Petri net with a reachability graph equivalent to a given transition system. This paper f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afe400ab455304dff5d8285ac0818d15
https://doi.org/10.1109/dsd57027.2022.00031
https://doi.org/10.1109/dsd57027.2022.00031