Modelling Activities of Daily Living with Petri nets

Matias Garcia-Constantino, Alexandros Konios, Chris Nugent

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

2 Citations (Scopus)
10 Downloads (Pure)

Abstract

Modelling Activities of Daily Living (ADLs) is an important step in the process to design and implement reliable sensor systems that effectively monitor the activities of the ageing population. Once modelled, unusual activities may be detected that have the potential of impacting upon a person’s well-being. The use of Petri nets to model ADLs is considered in this research as a means to capture the intricate behaviours of ambient systems. To our best knowledge there has not
been extensive work in the related literature, hence the novelty of this work. The ADLs considered in the developed Petri net model are: (i) preparing tea, (ii) preparing coffee, and (iii) preparing pasta. The first two ADLs listed are deemed to have many occurrences during a typical day of an elderly person. The third activity is representative of activities that involve cooking. Hence, abnormal behaviour detected in the context of these activities can be an indicator of a progressive health problem or the occurrence of a hazardous incident. The completion and noncompletion of activities are considered in the developed Petri net model and are also formally verified. The description of the sensor system of the kitchen ADLs, its Petri net model and verification results are presented. Results show that the Petri net modelling of ADLs can reliably and effectively reflect the real behaviour of the examined system detecting all the activities of the users that can exhibit both their normal and abnormal behaviour.
Original languageEnglish
Title of host publication2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)
PublisherIEEE
Number of pages6
ISBN (Electronic)978-1-5386-3227-7
ISBN (Print)978-1-5386-3228-4
DOIs
Publication statusPublished - 8 Oct 2018
EventIEEE International Conference on Pervasive Computing and Communications 2018 -
Duration: 19 Mar 201823 Mar 2018

Conference

ConferenceIEEE International Conference on Pervasive Computing and Communications 2018
Period19/03/1823/03/18

Fingerprint

Petri nets
Coffee
Kitchens
Cooking
Sensors
Medical problems
Aging of materials

Bibliographical note

© 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Cite this

Garcia-Constantino, M., Konios, A., & Nugent, C. (2018). Modelling Activities of Daily Living with Petri nets. In 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) IEEE. https://doi.org/10.1109/PERCOMW.2018.8480225

Modelling Activities of Daily Living with Petri nets. / Garcia-Constantino, Matias; Konios, Alexandros; Nugent, Chris.

2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE, 2018.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Garcia-Constantino, M, Konios, A & Nugent, C 2018, Modelling Activities of Daily Living with Petri nets. in 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE, IEEE International Conference on Pervasive Computing and Communications 2018, 19/03/18. https://doi.org/10.1109/PERCOMW.2018.8480225
Garcia-Constantino M, Konios A, Nugent C. Modelling Activities of Daily Living with Petri nets. In 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE. 2018 https://doi.org/10.1109/PERCOMW.2018.8480225
Garcia-Constantino, Matias ; Konios, Alexandros ; Nugent, Chris. / Modelling Activities of Daily Living with Petri nets. 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE, 2018.
@inproceedings{4043c6a088b741298e7722b717a384b3,
title = "Modelling Activities of Daily Living with Petri nets",
abstract = "Modelling Activities of Daily Living (ADLs) is an important step in the process to design and implement reliable sensor systems that effectively monitor the activities of the ageing population. Once modelled, unusual activities may be detected that have the potential of impacting upon a person’s well-being. The use of Petri nets to model ADLs is considered in this research as a means to capture the intricate behaviours of ambient systems. To our best knowledge there has notbeen extensive work in the related literature, hence the novelty of this work. The ADLs considered in the developed Petri net model are: (i) preparing tea, (ii) preparing coffee, and (iii) preparing pasta. The first two ADLs listed are deemed to have many occurrences during a typical day of an elderly person. The third activity is representative of activities that involve cooking. Hence, abnormal behaviour detected in the context of these activities can be an indicator of a progressive health problem or the occurrence of a hazardous incident. The completion and noncompletion of activities are considered in the developed Petri net model and are also formally verified. The description of the sensor system of the kitchen ADLs, its Petri net model and verification results are presented. Results show that the Petri net modelling of ADLs can reliably and effectively reflect the real behaviour of the examined system detecting all the activities of the users that can exhibit both their normal and abnormal behaviour.",
author = "Matias Garcia-Constantino and Alexandros Konios and Chris Nugent",
note = "{\circledC} 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.",
year = "2018",
month = "10",
day = "8",
doi = "10.1109/PERCOMW.2018.8480225",
language = "English",
isbn = "978-1-5386-3228-4",
booktitle = "2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)",
publisher = "IEEE",

}

TY - GEN

T1 - Modelling Activities of Daily Living with Petri nets

AU - Garcia-Constantino, Matias

AU - Konios, Alexandros

AU - Nugent, Chris

N1 - © 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

PY - 2018/10/8

Y1 - 2018/10/8

N2 - Modelling Activities of Daily Living (ADLs) is an important step in the process to design and implement reliable sensor systems that effectively monitor the activities of the ageing population. Once modelled, unusual activities may be detected that have the potential of impacting upon a person’s well-being. The use of Petri nets to model ADLs is considered in this research as a means to capture the intricate behaviours of ambient systems. To our best knowledge there has notbeen extensive work in the related literature, hence the novelty of this work. The ADLs considered in the developed Petri net model are: (i) preparing tea, (ii) preparing coffee, and (iii) preparing pasta. The first two ADLs listed are deemed to have many occurrences during a typical day of an elderly person. The third activity is representative of activities that involve cooking. Hence, abnormal behaviour detected in the context of these activities can be an indicator of a progressive health problem or the occurrence of a hazardous incident. The completion and noncompletion of activities are considered in the developed Petri net model and are also formally verified. The description of the sensor system of the kitchen ADLs, its Petri net model and verification results are presented. Results show that the Petri net modelling of ADLs can reliably and effectively reflect the real behaviour of the examined system detecting all the activities of the users that can exhibit both their normal and abnormal behaviour.

AB - Modelling Activities of Daily Living (ADLs) is an important step in the process to design and implement reliable sensor systems that effectively monitor the activities of the ageing population. Once modelled, unusual activities may be detected that have the potential of impacting upon a person’s well-being. The use of Petri nets to model ADLs is considered in this research as a means to capture the intricate behaviours of ambient systems. To our best knowledge there has notbeen extensive work in the related literature, hence the novelty of this work. The ADLs considered in the developed Petri net model are: (i) preparing tea, (ii) preparing coffee, and (iii) preparing pasta. The first two ADLs listed are deemed to have many occurrences during a typical day of an elderly person. The third activity is representative of activities that involve cooking. Hence, abnormal behaviour detected in the context of these activities can be an indicator of a progressive health problem or the occurrence of a hazardous incident. The completion and noncompletion of activities are considered in the developed Petri net model and are also formally verified. The description of the sensor system of the kitchen ADLs, its Petri net model and verification results are presented. Results show that the Petri net modelling of ADLs can reliably and effectively reflect the real behaviour of the examined system detecting all the activities of the users that can exhibit both their normal and abnormal behaviour.

U2 - 10.1109/PERCOMW.2018.8480225

DO - 10.1109/PERCOMW.2018.8480225

M3 - Conference proceeding

SN - 978-1-5386-3228-4

BT - 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)

PB - IEEE

ER -