Modelling Activities of Daily Living with Petri nets

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

14 Citations (Scopus)
319 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 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.
Original languageEnglish
Title of host publication2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)
PublisherIEEE
Pages866-871
Number of pages6
ISBN (Electronic)978-1-5386-3227-7
DOIs
Publication statusPublished (in print/issue) - 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)
Country/TerritoryGreece
CityAthens
Period19/03/1823/03/18

Keywords

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

Fingerprint

Dive into the research topics of 'Modelling Activities of Daily Living with Petri nets'. Together they form a unique fingerprint.

Cite this