Modelling Activities of Daily Living with Petri nets

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

2 Citations (Scopus)

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 non-completion 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.
LanguageEnglish
Title of host publication2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)
Pages866-871
Number of pages6
ISBN (Electronic)978-1-5386-3227-7
DOIs
Publication statusPublished - 19 Mar 2018
Event2018 IEEE International Conference on Pervasive Computing and Communications (PerCom Workshops) - Athens, Greece
Duration: 19 Mar 201823 Mar 2018

Conference

Conference2018 IEEE International Conference on Pervasive Computing and Communications (PerCom Workshops)
CountryGreece
CityAthens
Period19/03/1823/03/18

Fingerprint

Petri nets
Coffee
Kitchens
Cooking
Sensors
Medical problems
Aging of materials

Keywords

  • Activities of Daily Living
  • Petri nets
  • Modelling
  • Verification

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) (pp. 866-871) 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). 2018. pp. 866-871
@inproceedings{eb28478386a14421978c9667b5f9bb4f,
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 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 non-completion 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.",
keywords = "Activities of Daily Living, Petri nets, Modelling, Verification",
author = "Matias Garcia-Constantino and Alexandros Konios and Chris Nugent",
year = "2018",
month = "3",
day = "19",
doi = "10.1109/PERCOMW.2018.8480225",
language = "English",
pages = "866--871",
booktitle = "2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)",

}

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). pp. 866-871, 2018 IEEE International Conference on Pervasive Computing and Communications (PerCom Workshops), Athens, Greece, 19/03/18. 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). 2018. p. 866-871.

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

TY - GEN

T1 - Modelling Activities of Daily Living with Petri nets

AU - Garcia-Constantino, Matias

AU - Konios, Alexandros

AU - Nugent, Chris

PY - 2018/3/19

Y1 - 2018/3/19

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 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 non-completion 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 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 non-completion 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.

KW - Activities of Daily Living

KW - Petri nets

KW - Modelling

KW - Verification

U2 - 10.1109/PERCOMW.2018.8480225

DO - 10.1109/PERCOMW.2018.8480225

M3 - Conference contribution

SP - 866

EP - 871

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

ER -

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). 2018. p. 866-871 https://doi.org/10.1109/PERCOMW.2018.8480225