Probabilistic guarantees in model-checking with Time Petri Nets

Autor: Lecart, Manon

With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of model

Externí odkaz: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-343212

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Mood based building automation using fuzzy Petrinets

Autor: Ruchi Davey, Naveen Hemrajani, Manuj Darbari

Publikováno v: Online Academic Journal of Information Technology, Vol 6, Iss 20, Pp 51-64 (2015)
Volume: 6, Issue: 20 51-64
AJIT-e: Academic Journal of Information Technology

This paper deals with MOOD based building automation system. It categorises various aspects of MOOD and its relationship with dynamic setting of the environment. It uses Fuzzy Petrinets to fine tune the environment setting if it exists. Error and err

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85ac76016277e622d37c6b18af3cd3a2
https://doi.org/10.5824/1309-1581.2015.3.004.x

Applied Simulation Model for Design of Improving Medical Record Area in Out-patient Department (OPD) of a Governmental Hospital

Autor: Grit Ngowtanasuwan, Porntip Ruengtam

Publikováno v: Procedia - Social and Behavioral Sciences. 101:147-158

This article presents a method for design of improving medical record area in OPD of a governmental hospital case study, Mahasarakham Hospital, Thailand. By using a simulation model which is Petri Nets model for simulating and analysis of coming pati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8dfd5ebcd225fd3947f47a3dcdf1c94b
https://doi.org/10.1016/j.sbspro.2013.07.188