A formal GSPN model of a virtual doctor dialogue system

Abstract

This paper presents a formal generalized stochastic Petri net (GSPN)–based modeling of a virtual doctor (VDr) dialogue system. The interaction model between the VDr dialogue system and the human patient is a modified version of the Wickens model. The purpose of this model is to provide a better understanding of the interaction between the VDr dialogue system and the patient, as well as the integration of other components in the system, such as the patient’s medical history and emotions. Initially, the formal definition of the GSPN model of the VDr dialogue system is presented by incorporating the token color concept, which is a feature of Color GSPNs. Then, the GSPN formal modeling is described. Note that, the GSPN model presented here is at the simulation level and not a product. Furthermore, some examples are provided with the intention of facilitating the understanding of the token color utilization and the different GSPN markings.

A network-based simulation framework for robustness assessment of accessibility in healthcare systems with the consideration of cascade failures

“…Once the network is attacked and several nodes malfunction with the consideration of cascade effect, LC would reduce which indicates the reduction of the scale and decrease of the integrity of the network. Therefore, to provide an intuitive evaluation of the varying integrity of the updated network, a ratio of the LC of the attacked network to the original network is proposed to quantify the loss of the scale of the complex network, as given by Equation (7).…”

“…5 Access to healthcare facilities in a timely manner can considerably minimize the number of injured individuals and the severity of their injuries. 6,7 Moreover, some mishaps (e.g., extreme weather, sudden disaster, and malicious attacks) may result in the localized malfunctions of some healthcare facilities and impair the accessibility of healthcare services for citizens. Therefore, it is of immense importance to investigate the robustness of accessibility in healthcare systems, which plays a vital role in ensuring the reliance of its operation management and stability of the healthcare service delivery to a large degree.…”

Theory and foundations of modeling and simulation

“…Tang and Ji 10 developed a runway incursion warning model to help the operation and management of airports and aerodromes and decrease the occurrence of these unsafe incidents. Bourbakis and Mallios 11 present a virtual doctor (VDr) dialogue system based on Petri Nets to model interactions between the VDr and the human patient. Their objective is to better understand the interaction of the patient with the VDr and to integrate the patient’s medical history and emotions into the responses provided.…”