.汽车远近灯自动转换系统.docVIP

汽车远近灯自动转换系统 1、相关定义 1.1、HTCPN 形式化定义 层次着色 Petri 网是用于分析大型复杂系统的常用类型,层次化有利于对大型复杂 系统进行模拟;赋时着色 Petri 网是用于系统性能评价的常用类型,因为时间是进行性 能评价所必需的参数。为了能对现实软件系统进行高度的仿真与分析,本课题转换后 CPN 模型一般都是分层赋时着色 Petri 网模型。下面给出赋时分层着色 Petri 网的形式化 定义。 分层赋时着色 Petri 网(HTCPN)可表示为一个 7 元组 ,满足下列的条件: (1)S 是子页组成的有限集。 (2)P、T 依然分别是库所和变迁的集合, P ∩ T=Φ, PT≠Φ,S 中的 P/T 和父 页的 P/T 都是有限集。 (3) C= ∑ C( pi)∑C(tj)是颜色集,C(pi) 表示库所 pi 的颜色,i=1, 2, , n; C(tj)表示变迁 tj 的颜色,j=1, 2, , m。 (4) F (P ×T)∪(T×P)是对模型中的有向弧的描述。(5)D:C(t) →V+是可以表示变迁也可以表示库所的时间函数,通过两个不同的 取值标明任务被执行或延迟。 22 中国石油大学(华东)硕士学位论文 (6)M0 是对初始状态的描述,无论父页还是子页都有初始状态。 3.4 CPN tools 与软件性能评价 1.2、CPN 概述以及定义