- 1、本文档共79页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第4章形式化说明技术课件.ppt
图4.6 带标记的Petri网 图4.7 图4.6的Petri网在转换 t1被激发后的情况 图4.8 图4.7的Petri网在转换 t2被激发后的情况 图4.9 含禁止线的Petri网 加入禁止线 (1)禁止线是用一个小圆圈表示的输入线。 (2)当每个输入线上至少有一个权标,而禁止线上没有权标时,相应的转换才是允许的。 在图4.9中,P3上有一个权标而P2上没有权标,因此转换t1可以被激发。 更形式化地说,Petri网C=(P,T,I,O,M)中的标记M,是由一组位置P到一组非负整数的映射: M:P→{0,1,2,…} 这样,带有标记的Petri网成为一个五元组(P,T,I,O,M)。 把Petri网应用于上一节讨论过的电梯问题。当用Petri网表示电梯系统的规格说明时,每个楼层用一个位置Ff代表(1≤f≤m),在Petri网中电梯是用一个权标代表的。在位置Ff上有权标,表示在楼层f上有电梯。 1. 电梯按钮 电梯问题的第一个约束条件描述了电梯按钮的行为,现在复述一下这个约束条件。 4.3.2 例子 第一条约束C1: (1)每部电梯有m个按钮,每层对应一个按钮。 (2)当按下一个按钮时该按钮指示灯亮,指示电梯移往相应的楼层。 (3)当电梯到达指定的楼层时,按钮将熄灭。 (4)电梯中楼层f的按钮,在Petri网中用位置EBf表示(1≤f≤m)。在EBf上有一个权标,就表示电梯内楼层f的按钮被按下了。 说明: 电梯按钮只有在第一次被按下时才会由暗变亮,以后再按它则只会被忽略。 电梯按钮的行为规律(图4.10)。 (1)假设按钮没有发亮,显然在位置EBf上没有权标,从而在存在禁止线的情况下,转换“EBf被按下”是允许发生的。 下面通过一个简单例子介绍有穷状态机的基本概念。 一个保险箱上装了一个复合锁,锁有三个位置,分别标记为1、2、3,转盘可向左(L)或向右(R)转动。这样,在任意时刻转盘都有6种可能的运动,即1L、1R、2L、2R、3L和3R。保险箱的组合密码是1L、3R、2L,转盘的任何其他运动都将引起报警。图4.1描绘了保险箱的状态转换情况。 4.2 有穷状态机 4.2.1 概念 图4.1 保险箱的状态转换图 图4.1是一个有穷状态机的状态转换图。状态转换并不一定要用图形方式描述,表4.1(见书78页)的表格形式也可以表达同样的信息。 说明:一个有穷状态机包括下述5个部分:状态集J、输入集K、由当前状态和当前输入确定下一个状态(次态)的转换函数T、初始态S和终态集F。对于保险箱的例子,相应的有穷状态机的各部分如下。 状态集J:{保险箱锁定,A,B,保险箱解锁,报警}。 输入集K:{1L,1R,2L,2R,3L,3R}。 转换函数T:如表4.1所示。 初始态S:保险箱锁定。 终态集F:{保险箱解锁,报警}。 如果使用更形式化的术语,一个有穷状态机可以表示为一个5元组(J,K,T,S,F),其中: J是一个有穷的非空状态集; K是一个有穷的非空输入集; T是一个从(J-F)×K到J的转换函数; S∈J,是一个初始状态; FJ,是终态集。 (1)有穷状态机的应用 例如,每个菜单驱动的用户界面都是一个有穷状态机的实现。一个菜单的显示和一个状态相对应,键盘输入或用鼠标选择一个图标是使系统进入其他状态的一个事件。状态的每个转换都具有下面的形式: 当前状态〔菜单〕+事件〔所选择的项〕下个状态。 (2)扩展 为了对一个系统进行规格说明,通常都需要对有穷状态机做一个很有用的扩展,即在前述的5元组中加入第6个组件——谓词集P,从而把有穷状态机扩展为一个6元组,其中每个谓词都是系统全局状态Y的函数。转换函数T现在是一个从(J-F)×K×P到J的函数。现在的转换规则形式如下: 当前状态〔菜单〕+事件〔所选择的项〕+谓词下个状态。 电梯系统的规格说明。首先给出用自然语言描述的对电梯系统的需求: 在一幢m层的大厦中需要一套控制n部电梯的产品,要求这n部电梯按照约束条件C1,C2和C3在楼层间移动。 C1:每部电梯内有m个按钮,每个按钮代表一个楼层。当按下一个按钮时该按钮指示灯亮,同时电梯驶向相应的楼层,到达按钮指定的楼层时指示灯熄灭。 4.2.2 例子 C2:除了大厦的最低层和最高层之外,每层楼都有两个按钮分别请求电梯上行和下行。这两个按钮之一被按下时相应的指示灯亮,当电梯到达此楼层时灯熄灭,电梯向要求的方向移
您可能关注的文档
- 知识管理的应用课件.ppt
- 研习报告撰写说明 交流观摩的准备课件.ppt
- 研究生出国申请流程学生使用手册课件.ppt
- 研究生毕业审查及论文答辩工作交流会课件.ppt
- 破折号的作用 1.解释说明 2.表示递进 3.表示延长 4.表示转折 ...课件.ppt
- 社会心理健康Psychosocial Health课件.ppt
- 社会调查与社会统计 杨丹yangdan821127@126.com课件.ppt
- 社区卫生的战略规划课件.ppt
- 神标语作文评讲课件.ppt
- 禅城区政府采购项目课件.doc
- 废旧金属回收再加工项目市场调研与分析报告.docx
- 2025年生态修复工程中生态系统服务功能评估与生态修复项目实施效果评估.docx
- 2025年环保制冷剂生产项目经济效益与社会效益综合分析报告.docx
- 2025年工业互联网平台入侵检测系统在网络安全防护中的安全事件溯源与追踪.docx
- 基于2025年虚拟现实技术的游戏开发商业模式研究报告.docx
- 饮料行业2025年新型甜味剂法规监管下的产品市场拓展策略研究报告.docx
- 探索2025年互联网金融平台信任机制,助力用户信任建设.docx
- 2025年食品饮料电商运营中的精准营销与个性化推荐效果评估报告.docx
- 绿色建筑材料市场推广策略与政策支持对建筑行业绿色行业标准制定报告.docx
- 2025年工业互联网平台生物识别技术在智能工厂数据安全中的应用报告.docx
文档评论(0)