↓ Skip to main content

Foundations of Health Information Engineering and Systems

Overview of attention for book
Cover of 'Foundations of Health Information Engineering and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets
  3. Altmetric Badge
    Chapter 2 Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets
  4. Altmetric Badge
    Chapter 3 Enhancing Product Line Development by Safety Requirements and Verification
  5. Altmetric Badge
    Chapter 4 Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability
  6. Altmetric Badge
    Chapter 5 Foundations of Health Information Engineering and Systems
  7. Altmetric Badge
    Chapter 6 An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange
  8. Altmetric Badge
    Chapter 7 O wl O nt DB : A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes
  9. Altmetric Badge
    Chapter 8 Trustworthy Pervasive Healthcare Services via Multiparty Session Types
  10. Altmetric Badge
    Chapter 9 A Grid Based Distributed Cooperative Environment for Health Care Research
  11. Altmetric Badge
    Chapter 10 Closed-Loop Modeling of Cardiac Pacemaker and Heart
  12. Altmetric Badge
    Chapter 11 Model-Based Solution for Controlling Physiology
  13. Altmetric Badge
    Chapter 12 Automated Reviewing of Healthcare Security Policies
  14. Altmetric Badge
    Chapter 13 A Formal Diagrammatic Approach to Compensable Workflow Modelling
  15. Altmetric Badge
    Chapter 14 Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts
Attention for Chapter 2: Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
11 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets
Chapter number 2
Book title
Foundations of Health Information Engineering and Systems
Published by
Springer, Berlin, Heidelberg, August 2012
DOI 10.1007/978-3-642-39088-3_2
Book ISBNs
978-3-64-239087-6, 978-3-64-239088-3
Authors

Cristiano Bertolini, Zhiming Liu, Jiří Srba

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 11 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 1 9%
Unknown 10 91%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 36%
Student > Postgraduate 1 9%
Other 1 9%
Student > Master 1 9%
Unknown 4 36%
Readers by discipline Count As %
Computer Science 6 55%
Engineering 1 9%
Unknown 4 36%