A unified high-level Petri net formalism for time-critical systems

1991 ◽  
Vol 17 (2) ◽  
pp. 160-172 ◽  
Author(s):  
C. Ghezzi ◽  
D. Mandrioli ◽  
S. Morasca ◽  
M. Pezze
Keyword(s):  
Petri Net ◽  
Critical Systems ◽  
High Level ◽  
Time Critical

Cross-layer Approach to Assess FMEA on Critical Systems and Evaluate High-Level Model Realism

2021 ◽  
Author(s):  
Julie Roux ◽  
Katell Morin-Allory ◽  
Vincent Beroulle ◽  
Regis Leveugle ◽  
Lilian Bossuet ◽  
...  
Keyword(s):  
Cross Layer ◽  
Critical Systems ◽  
Level Model ◽  
Model Realism ◽  
High Level

scholarly journals Guest Editors’ Introduction: Special Issue on Time-Critical Systems Design Part II

2018 ◽  
Vol 35 (4) ◽  
pp. 5-6
Author(s):  
Tulika Mitra ◽  
Jurgen Teich ◽  
Lothar Thiele
Keyword(s):  
Systems Design ◽  
Critical Systems ◽  
Special Issue ◽  
Time Critical

scholarly journals Response Times to Visual and Auditory Alarms during Anaesthesia

1996 ◽  
Vol 24 (6) ◽  
pp. 682-684 ◽  
Author(s):  
R. W. Morris ◽  
S. R. Montano
Keyword(s):  
Response Times ◽  
Red Light ◽  
Anaesthetic Machine ◽  
Heart Beat ◽  
Visual Signal ◽  
False Alarms ◽  
Laptop Computer ◽  
Audible Alarm ◽  
High Level ◽  
Time Critical

Objective To measure and compare the response times to audibly or visually presented alarms in the operating theatre. Methods The time taken by anaesthetists to cancel randomly generated visual and audible false alarms was measured during maintenance of routine anaesthesia. Alarms were generated and times recorded by a laptop computer on the anaesthetic machine. The visual signal was a 15mm diameter red light positioned next to the physiological monitor mounted on top of the machine. The audible alarm was a Sonalert® buzzer of the type incorporated into many medical devices. Results Nineteen anaesthetists provided a total of seventy-two hours of data (887 alarm events). The response times to visual alarms was significantly longer than to audible alarms (P=0.001 Mann Whitney U test). Conclusions The ability of anaesthetists to appreciate changes in patient physiology may be limited by delays in noticing information presented by monitors. The rapid response to the vast majority of alarms indicates a high level of vigilance among the anaesthetists studied. However, this study suggests that it is safer to rely on audible rather than visual alarms when time-critical information such as oxygenation, heart beat and ventilator disconnection is concerned. Visual alarms would appear to be more appropriate for conveying less urgent information.

scholarly journals High-Level Video Event Modeling, Recognition, and Reasoning via Petri Net

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 129376-129386 ◽  
Author(s):  
Zhijiao Xiao ◽  
Jianmin Jiang ◽  
Zhong Ming
Keyword(s):  
Petri Net ◽  
Event Modeling ◽  
Video Event ◽  
High Level
Sign in / Sign up

Export Citation Format

Share Document