Zobrazeno 1 - 10
of 265
pro vyhledávání: '"state space reduction"'
Autor:
P. Chariyathitipong, W. Vatanawood
Publikováno v:
IEEE Access, Vol 10, Pp 45207-45218 (2022)
The time Petri net (TPN) is a powerful tool for modeling, simulating, and verifying real-time systems. Unfortunately, the state spaces of the time Petri net grow exponentially due to the complexity of real-time systems. The enormous size of the state
Externí odkaz:
https://doaj.org/article/6439e15e2f8542c7988f118e7ad45e18
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Younes Rouabah, Zhiwu Li
Publikováno v:
Mathematics, Vol 11, Iss 1, p 47 (2022)
This article aims to provide a perspective on the foundations and developments of the net unfolding techniques and their applications to discrete event systems. The numerous methods applied to concurrency presented in the literature can be roughly di
Externí odkaz:
https://doaj.org/article/dd262f815a004c8eafa0b8b6993f7703
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Luca Di Stefano, Frédéric Lang
Publikováno v:
Formal Methods in System Design
Formal Methods in System Design, In press, ⟨10.1007/s10703-023-00422-1⟩
Formal Methods in System Design, In press, ⟨10.1007/s10703-023-00422-1⟩
International audience; Sharp bisimulation is a refinement of branching bisimulation, parameterized by a subset of the system's actions, called strong actions. This parameterization allows the sharp bisimulation to be tailored by the property under v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::485725a0779a9e46345603ef92dc24d1
https://doi.org/10.1007/s10703-023-00422-1
https://doi.org/10.1007/s10703-023-00422-1
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Aparicio Sánchez, Damián
Tesis por compendio
[ES] La herramienta criptográfica Maude-NPA es un verificador de modelos especializado para protocolos de seguridad criptográficos que tienen en cuenta las propiedades algebraicas de un sistema criptográfico. En la literat
[ES] La herramienta criptográfica Maude-NPA es un verificador de modelos especializado para protocolos de seguridad criptográficos que tienen en cuenta las propiedades algebraicas de un sistema criptográfico. En la literat
Externí odkaz:
http://hdl.handle.net/10251/190915
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.