# Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets

> 2020 doctoral thesis by Sapna Jaidka at University of Waikato

**Wikidata**: [Q112952461](https://www.wikidata.org/wiki/Q112952461)  
**Source**: https://4ort.xyz/entity/formal-modelling-and-analysis-of-safety-critical-interactive-systems-using-coloured-petri-nets


## References

1. [Source](https://hdl.handle.net/10289/13778)