# Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies

> Research article (International Journal of Information Security, 2019) · cited 21× · AI/ML

**Wikidata**: [openalex:W2954600895](https://www.wikidata.org/wiki/openalex:W2954600895)  
**Source**: https://4ort.xyz/entity/using-hierarchical-timed-coloured-petri-nets-in-the-formal-study-of-trbac-security-policies