Text this: Modeling and Analysis of Network Control System Based on Hierarchical Coloured Petri Net and Markov Chain