Zobrazeno 1 - 10
of 301
pro vyhledávání: '"Timed Petri Net"'
Publikováno v:
Cogent Engineering, Vol 11, Iss 1 (2024)
Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is a formal
Externí odkaz:
https://doaj.org/article/00acf64b5a9448c5a3b5889bc2cc77e9
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.
Publikováno v:
Smart and Resilient Transportation, 2021, Vol. 3, Issue 3, pp. 235-248.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/SRT-01-2021-0001
Publikováno v:
Smart and Resilient Transportation, Vol 3, Iss 3, Pp 235-248 (2021)
Purpose – When a railway emergency occurs, it often leads to unexpected consequences, especially for trains of higher speed and larger passenger flow. Therefore, the railway emergency plan, a pre-established plan to deal with emergencies, plays an
Externí odkaz:
https://doaj.org/article/123333444ccd4cf79a0cb634b657bd2a
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.
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.
Publikováno v:
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00371-7⟩
Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00371-7⟩
International audience; A fundamental step in circuit design is the placement of pipeline stages, which can drastically increase the data throughput. Retiming allows optimizing the pipeline with regard to a criterion, for example the required number
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::029ec32eee91fba3263c3f22dc8eb288
https://hal.science/hal-03952519
https://hal.science/hal-03952519
Autor:
Irina A. Sedykh, Eugeny S. Anikeev
Publikováno v:
Advanced Engineering Research, Vol 16, Iss 4, Pp 140-145 (2016)
The work objective is to develop a special model of the complex distributed object - the cement production - on the basis of the colored timed Petri nets including its analysis and estimation of effectiveness and correctness. Various kinds of the Pet
Externí odkaz:
https://doaj.org/article/bc82e29f85cc45c3921e2afb30fc49cb
Publikováno v:
Metabolites, Vol 5, Iss 4, Pp 766-793 (2015)
The insulin-dependent activation and recycling of the insulin receptor play an essential role in the regulation of the energy metabolism, leading to a special interest for pharmaceutical applications. Thus, the recycling of the insulin receptor has b
Externí odkaz:
https://doaj.org/article/2230ebcdf5bc4e97a3e8e42a43778dfe