In this proposal, we first introduce three important analysis tools in STPN, called invariants, reachability, and relative continuous Markov Chain.

• 在这篇 计划中，我们将先介绍随机过程时间派翠网路的永不变特性、可到达性及连续马可夫关 联模式。