Modelling alarm management workflow in healthcare according to IHE framework by coloured Petri Nets

No abstract is available for this paper.

• Publication year

  2012

• Venue

  Engineering applications of artificial intelligence

• Publication date

  2012-06-01

• Fields of study

  Medicine, Computer Science, Engineering

• Identifiers
  DOI 10.1016/j.engappai.2010.11.003
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Application of TTCN-3 test language to testing information systems in eHealth domain

  2010cited by this paper
• An open source toolkit for managing patient monitoring device alarms based on the IHE Alarm Communication Management profile

  2009cited by this paper
• Integration of IHE-Based Systems with Petri Net Workflow Management System

  2009cited by this paper
• Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care

  2008cited by this paper
• Towards More Integrated Implementation of Healthcare Information Systems: Using the 3LGM2 for Modeling the IHE-Scheduled Workflow Integration Profile

  2008cited by this paper
• Simulation of In-Hospital Pediatric Medical Emergencies and Cardiopulmonary Arrests: Highlighting the Importance of the First 5 Minutes

  2008cited by this paper
• From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system

  2007cited by this paper
• Ensuring patient safety.

  2007cited by this paper
• Learning UML 2.0

  2006influential reference
• From task descriptions via coloured Petri Nets towards an implementation of a new electronic patient record

  2006cited by this paper
• Ensuring patient safety in wireless medical device networks

  2006cited by this paper
• 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

  2005cited by this paper
• Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)

  2005cited by this paper
• IHE: a model for driving adoption of standards.

  2003cited by this paper
• The Unified Modeling Language User Guide

  1998cited by this paper
• The Definition of Standard ML (Revised)

  1997cited by this paper
• Simulation Modeling & Analysis

  1991cited by this paper
• Definition of standard ML

  1990cited by this paper
• Coloured Petri Nets

  1986influential reference

• Conceptualizing Resilience in Healthcare Systems Through Domain Modeling

  2025cites this paper
• Enhancing alarm management in green hydrogen plants: a comprehensive analysis of the V-NETS-based methodology plants

  2024cites this paper
• Pathway to design a multiparameter application for environmental monitoring to contribute to citizen well-being

  2024cites this paper
• How We Can Reap the Full Benefit of Teleconsultations: Economic Evaluation Combined With a Performance Evaluation Through a Discrete-Event Simulation

  2022cites this paper
• Modeling and analysis of medical resource allocation based on Timed Colored Petri net

  2020cites this paper
• Toward Modeling Alarm Handling in SCADA System: A Colored Petri Nets Approach

  2019cites this paper
• A modelling and simulation framework for health care systems

  2017cites this paper
• Phase Partition and Online Monitoring for Batch Process Based on Multiway BEAM

  2017cites this paper
• Survey Metode Formal dalam Verifikasi dan Validasi ( Study of Formal Methods in Verification and Validation )

  2016cites this paper
• Process Support for Continuous, Distributed, Multi-party Healthcare Processes - Applying Workflow Modelling to an Anticoagulation Monitoring Protocol

  2016cites this paper
• Applying an Evidence-based Approach to Managing Alarm Safety: A University Health Network Case Study

  2015cites this paper
• A Modeling and Simulation Framework for Health Care Systems

  2014cites this paper
• Discrete event systems models and methods for different problems in healthcare management

  2014cites this paper
• Petri net-based process monitoring: a workflow management system for process modelling and monitoring

  2012cites this paper