25、定时有色Petri网与基于仿真的性能分析

定时有色Petri网与基于仿真的性能分析

定时有色Petri网的定义与语义

定时有色Petri网（Timed Coloured Petri Net, CPNT）是一个九元组 $CPNT = (P,T,A,\Sigma,V,C,G,E,I)$，各元素含义如下：
1. $P$ ：有限的库所集合。
2. $T$ ：有限的变迁集合，且 $P\cap T = \varnothing$。
3. $A$ ：有向弧集合，$A \subseteq P\times T \cup T\times P$。
4. $\Sigma$ ：有限的非空颜色集集合，每个颜色集可以是定时或非定时的。
5. $V$ ：有限的类型化变量集合，对于所有变量 $v \in V$，有 $Type[v] \in \Sigma$。
6. $C$ ：颜色集函数，$C : P \to \Sigma$，为每个库所分配一个颜色集。若 $C(p)$ 是定时的，则库所 $p$ 是定时的；否则是非定时的。
7. $G$ ：防护函数，$G : T \to EXPR_V$，为每个变迁 $t$ 分配一个防护条件，使得 $Type[G(t)] = Bool$。
8. $E$ ：弧表达式函数，$E : A \to EXPR_V$，为每条弧 $a$ 分配一个弧表达式：
- 若 $p$ 是非定时库所，$Type