Browsing by Subject "Formal Modelling and analysis"

Now showing items 1-1 of 1

A Coloured Petri Net approach to model and analyze safety-critical interactive systems

Jaidka, Sapna; Reeves, Steve; Bowen, Judy (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 ...