Research Article

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

Figure 6

Mathematical description for HCPN.