The Experts below are selected from a list of 360 Experts worldwide ranked by ideXlab platform
Elliot B Sloane - One of the best experts on this subject based on the ideXlab platform.
-
quality of service qos in healthcare applications Colored Petri Net simulation for design of heterogeneous multi vendor integrated life critical wireless 802 x patient care device Networks
2005Co-Authors: Vijay Gehlot, Elliot B SloaneAbstract:The ability to deploy wireless patient monitors using industry-standard IEEE 802.x technologies allows patient mobility and clinical flexibly. However, interconnecting multiple life-critical medical devices from multiple vendors can introduce unintended life-threatening risks unless delivery of critical patient alarms to central monitoring systems and/or clinical personnel is assured. Petri Net tools allow automated testing of all possible states and transitions between devices and/or systems to detect potential failure modes in advance. Colored Petri Net (CPN) tools allow tracking and controlling each message in a Network based on pre-selected criteria. This paper describes a research project using CPN to simulate and validate alarm integrity in a small multi-modality wireless patient monitoring system. Free research CPN software, CPNTool, is used to simulate two, 20-monitor wireless patient monitoring Networks. One Network simulated standard nonprioritized 802.x IP protocols and simulated Quality of Service (QoS) capabilities similar to 802.11e, allowing message priority management. In the standard 802.x Network, dangerous heart arrhythmia and pulse oximetry alarms were missed, but QoS priority management reduced that risk significantly.
-
ensuring patient safety by using Colored Petri Net simulation in the design of heterogeneous multi vendor integrated life critical wireless 802 x patient care device Networks
2005Co-Authors: Elliot B Sloane, Vijay GehlotAbstract:Hospitals and manufacturers are designing and deploying the IEEE 802.x wireless technologies in medical devices to promote patient mobility and flexible facility use. There is little information, however, on the reliability or ultimate safety of connecting multiple wireless life-critical medical devices from multiple vendors using commercial 802.11a, 802.11b, 802.11g or pre-802.11n devices. It is believed that 802.11-type devices can introduce unintended life-threatening risks unless delivery of critical patient alarms to central monitoring systems and/or clinical personnel is assured by proper use of 802.11e quality of service (QoS) methods. Petri Net tools can be used to simulate all possible states and transitions between devices and/or systems in a wireless device Network, and can identify failure modes in advance. Colored Petri Net (CPN) tools are ideal, in fact, as they allow tracking and controlling each message in a Network based on pre-selected criteria. This paper describes a research project using CPN to simulate and validate alarm integrity in a small multi-modality wireless patient monitoring system. A 20-monitor wireless patient monitoring Network is created in two versions: one with non-prioritized 802.x CSM protocols and the second with simulated quality of service (QoS) capabilities similar to 802.11e (i.e., the second Network allows message priority management.) In the standard 802.x Network, dangerous heart arrhythmia and pulse oximetry alarms could not be reliably and rapidly communicated, but the second Network's QoS priority management reduced that risk significantly
Genserik Reniers - One of the best experts on this subject based on the ideXlab platform.
-
Petri Net based attack time analysis in the context of chemical process security
2019Co-Authors: Jianfeng Zhou, Genserik Reniers, Laobing ZhangAbstract:Abstract Chemical production- or storage facilities may have a strong appeal to terrorists due to their potential for causing great losses and possible huge societal impact. In view of the deficiency of attack trees, especially the impact of attacker numbers on the attack time, a timed Colored Petri-Net based attack process modeling approach, as well as a simulation based security failure probability analysis approach for security management, is proposed in this paper. The number of attackers has a key influence on the logic relationship of attack events. For performing the events represented by the logical gates (mainly AND gate and OR gate) of an attack tree, the influence of a different number of attackers on the attack time is discussed, and corresponding timed Colored Petri-Net based modeling approaches are provided. Comparing the duration of an attack process with an assumed interval of security inspection, a security failure probability can be obtained.
Cheng Jiujun - One of the best experts on this subject based on the ideXlab platform.
-
hierarchical Colored Petri Net description model for web service composition
2009Co-Authors: Cheng JiujunAbstract:Aiming at resource expression and correctness validation problem of Web service composition,this paper puts forward a formal description model for Web service composition process based on hierarchical Colored Petri Net.The model can describe control flow and data flow of Web service composition contemporarily,so it can describe composition process comprehensively.It supports correctness analysis and validation of composition process,and can simulate process instance run.Modeling instance demonstrates the effectiveness and practicality of the model.
Zhong Yong - One of the best experts on this subject based on the ideXlab platform.
-
workflow model based on Colored Petri Net
2008Co-Authors: Zhong YongAbstract:Workflow management promises a new solution to controlling,monitoring,optimizing and supporting business processes.Compared with the workflow model of classical Petri-Net,a R/T-Net workflow model based on Colored WF-Net was presented,and business process was described by resources in this model.R/T-Net incorporated the data model of resources and the process model together well.It could make tasks be performed by resources efficiently.
Vijay Gehlot - One of the best experts on this subject based on the ideXlab platform.
-
quality of service qos in healthcare applications Colored Petri Net simulation for design of heterogeneous multi vendor integrated life critical wireless 802 x patient care device Networks
2005Co-Authors: Vijay Gehlot, Elliot B SloaneAbstract:The ability to deploy wireless patient monitors using industry-standard IEEE 802.x technologies allows patient mobility and clinical flexibly. However, interconnecting multiple life-critical medical devices from multiple vendors can introduce unintended life-threatening risks unless delivery of critical patient alarms to central monitoring systems and/or clinical personnel is assured. Petri Net tools allow automated testing of all possible states and transitions between devices and/or systems to detect potential failure modes in advance. Colored Petri Net (CPN) tools allow tracking and controlling each message in a Network based on pre-selected criteria. This paper describes a research project using CPN to simulate and validate alarm integrity in a small multi-modality wireless patient monitoring system. Free research CPN software, CPNTool, is used to simulate two, 20-monitor wireless patient monitoring Networks. One Network simulated standard nonprioritized 802.x IP protocols and simulated Quality of Service (QoS) capabilities similar to 802.11e, allowing message priority management. In the standard 802.x Network, dangerous heart arrhythmia and pulse oximetry alarms were missed, but QoS priority management reduced that risk significantly.
-
ensuring patient safety by using Colored Petri Net simulation in the design of heterogeneous multi vendor integrated life critical wireless 802 x patient care device Networks
2005Co-Authors: Elliot B Sloane, Vijay GehlotAbstract:Hospitals and manufacturers are designing and deploying the IEEE 802.x wireless technologies in medical devices to promote patient mobility and flexible facility use. There is little information, however, on the reliability or ultimate safety of connecting multiple wireless life-critical medical devices from multiple vendors using commercial 802.11a, 802.11b, 802.11g or pre-802.11n devices. It is believed that 802.11-type devices can introduce unintended life-threatening risks unless delivery of critical patient alarms to central monitoring systems and/or clinical personnel is assured by proper use of 802.11e quality of service (QoS) methods. Petri Net tools can be used to simulate all possible states and transitions between devices and/or systems in a wireless device Network, and can identify failure modes in advance. Colored Petri Net (CPN) tools are ideal, in fact, as they allow tracking and controlling each message in a Network based on pre-selected criteria. This paper describes a research project using CPN to simulate and validate alarm integrity in a small multi-modality wireless patient monitoring system. A 20-monitor wireless patient monitoring Network is created in two versions: one with non-prioritized 802.x CSM protocols and the second with simulated quality of service (QoS) capabilities similar to 802.11e (i.e., the second Network allows message priority management.) In the standard 802.x Network, dangerous heart arrhythmia and pulse oximetry alarms could not be reliably and rapidly communicated, but the second Network's QoS priority management reduced that risk significantly