Browsing by Author "Jaidka, Sapna"
Now showing items 1-2 of 2
-
A Coloured Petri Net approach to model and analyze safety-critical interactive systems
(IEEE, 2019)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 ... -
Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets
(The University of Waikato, 2020)To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. Generally, existing techniques focus either on modelling the user interface or on modelling the functionality of ...
