汽车远近灯自动转换系统.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 概述以及定义 CPN(Colored Petri Net)被称为着色 Petri 网或有色 Petri 网,CPN 的着色是针对托 肯和 place 而言,在 CPN 中,对任意给定 place,所有托肯必须拥有同属于某一特定类 型的托肯颜色,所有这些类型的集合就构成了 place 的颜色集。此外,CPN 模型中各个 18 中国石油大学(华东)硕士学位论文 弧也需要标注允许通过的托肯的颜色类型以及其他条件。通过引入颜色集,托肯在着色 Petri 网模型不同区域内流动,克服了 Petri 网不能描述和区分数据的缺点。颜色集(指 令为 Colset)的声明是借助功能编程语言 Standard ML 实现的,ML 还可以让用户在 CPN 中声明变量(指令为 Var)、构造函数(指令为 Fun),使 CPN 模型参数化。 CPN 模型是非常严格的形式化模型,其语法和语义都给出了数学定义。文献[43]将 CPN 定义为多元组,其中: (1)∑被称为 color sets(颜色集),是非空的有限集合; (2)P = {pl, p2, , pm}是有限集合,与原始 Petri 网不同,可以为空,描述库所 (place); (3)T = {t1, t2, , tn}是有限集合,描述变迁; (4)A 为弧(arc)的有限集合,满足条件 P∩A=T∩A=φ; (5)Γ 描述节点对应的连接元素,是节点函数,定义为 A (T×P)(P×T); (6)C 定义为 PU ∑ss,∑ss ∑。C 代表 CPN 中 place 与其对应 color sets 的 映射函数,按照 CPN 的语法,库所 place 是有色的,用具体 color sets 来进行标注; (7)G 为守护函数,G:T→exprs,当 tT:[Type(G(t))= bool ∧ Type(Var (G(t))) ∑],exprs 是表达式(expression)缩写,Var(expr)是变量的集合,Type(v) 是变量的 type(类型); (8)E:(D×T)(T×D)→exprs 为弧表达式(arc expression)函数,E(x1, x2)=φ 当且仅当(x1,x2) A,否则 aA:[Type ( E(a) ) = Γ ( P(a) )∧Type ( Var ( E(a) ) ) ∑]; (9)I 为初始函数,I:D→exprs,对 dD:[Type (I (p)) = Γ (p)]。 CPN 形式化定义比较复杂,以下是对它们这些元组的详细解释: (1)∑中定义的颜色集合,是整个着色 Petri 网模型的基础,其给出了 CPN 模型 中托肯的类型,对着色 Petri 网动态运行函数以及弧表达式等有着决定性影响; (2)、(3)、(4)分别说明了 place、transition 和 arc 的集合,它们给出了 CPN 模型 的图形元素; (5)说明的是集合 arc 是如何把集合 place 和集合 transition 联系在了一起,是一个 二元组。这个二元组左边元素标明引出 arc 的节点,可以是 place,也可以是 transition; 右边元素则是 arc 指向的目的节点,但必须跟源节点不属于同一个集合。简而言之,这 个二元组只能是(p, t)或(t, p), tT,p∈P。 19 1.3