文件名称：,时间网的形式定义续-Petri网学习（超详细）
文件大小：11.83MB
文件格式：PPT
更新时间：2024-05-14 17:54:29
Petri网
2,时间网的形式定义（续） （2）一个时间范围Petri网系统 Σ=（P,T；F,M0, △t） 其中：（P,T；F,M0）为P/T网系统 △t：T→AP，AP为非负实数，对ap=（amin,amax）。 其中0≤ amin ≤ amax 在这种时间Petri网中，对每个t ∈T，都有一个ap ∈AP与之对应，即转移t的发生要考虑时间，如果t在时钟u时可发生则它可在时间范围（u+ amin,u+ amax）内发生。也就是说，当t 可发生时，在输入位置p中的标记将保持至少amin,直至这些标记由于t 的发生而移出 * 计时Petri网