Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Discrete event systems modeling"'
Publikováno v:
IFAC Proceedings Volumes. 41:6554-6559
The paper addresses the fault detection problem for discrete event systems on the basis of a Petri Net (PN) model. Assuming that the structure of the PN and the initial marking are known, faults are modelled by unobservable transitions. Moreover, we
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.
This paper analyzes parameter tuning and quantitative validation of a discrete-event model for egress dynamics from buildings, suitable for designing and testing evacuation control algorithms. Firstly, a simulation model within the MATLAB/Simulink en
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78a296274c50932bded95df852a54b57
http://hdl.handle.net/11589/52631
http://hdl.handle.net/11589/52631
Publikováno v:
ACM SIGSIM conference on Principles of advanced discrete simulation
ACM SIGSIM conference on Principles of advanced discrete simulation, May 2013, Montreal, Canada. pp.343-348
SIGSIM-PADS
ACM SIGSIM conference on Principles of advanced discrete simulation, May 2013, Montreal, Canada. pp.343-348
SIGSIM-PADS
International audience; The paper deals with test automation of GUI (General User Interface) softwareusing simulations. The development of GUI software requires a greatamount of time and cost concerning the testing aspects. In order to facilitateand
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ee68d20fc9cd38dc03cc0032cac7e9f
https://hal.archives-ouvertes.fr/hal-01083091
https://hal.archives-ouvertes.fr/hal-01083091
Publikováno v:
IFAC Proceedings Volumes
17th IFAC World Congress
17th IFAC World Congress, Jul 2008, Séoul, South Korea. ⟨10.3182/20080706-5-KR-1001.3564⟩
17th IFAC World Congress
17th IFAC World Congress, Jul 2008, Séoul, South Korea. ⟨10.3182/20080706-5-KR-1001.3564⟩
International audience; We propose a methodology for modeling systems with different operating modes using Nested Petri Nets (NPNs) based on Valk's approach, where each token can be also considered as one Petri Net. NPNs provide a powerful tool for c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f8317bbba29ac376bde2e3d35b91ed27
https://hal.archives-ouvertes.fr/hal-00375932
https://hal.archives-ouvertes.fr/hal-00375932
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.
Conference
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.
Conference
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.
Conference
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.
Conference
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.