Search for collections on Wintec Research Archive

A coloured petri net approach to model and analyze safety-critical interactive systems


[thumbnail of Journal Article] PDF (Journal Article)
Camera-ReadyVersionAPSEC.pdf - Submitted Version

Download (598kB)


To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We present a technique to construct a single Coloured Petri Net model of the user interface, interaction and functionality of safety-critical interactive systems and then analyze the achieved Coloured Petri Net model using a state space analysis method. There are several reasons for using Coloured Petri Nets. Coloured Petri Nets provides a graphical epresentation and hierarchical structuring mechanism, and a state space verification technique, which allows querying the state space to investigate behaviours of a system. There are several tools that supports Coloured Petri Nets including the CPN Tool which helps in building CPN models and allows simulation and analysis using state spaces. The technique to model and analyze safety-critical interactive systems is illustrated using a simplified infusion pump example.

Item Type: Paper presented at a conference, workshop or other event, and published in the proceedings
Uncontrolled Keywords: Coloured Petri Nets, Formal Modelling and analysis
Subjects: T Technology > T Technology (General)
Divisions: Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
Depositing User: Sapna Jaidka
Date Deposited: 10 Feb 2020 04:54
Last Modified: 21 Jul 2023 08:42

Actions (login required)

View Item
View Item