- 1、本文档共28页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第八章Petri网合法发射序列的判定讲述
第八章 Petri网顺序序列 的测试与判定 提纲 一、合法发射序列的判定 二、合法发射向量的判定 问题 设PNi=(Pi,Ti;Fi, M0i) (i=1,2) 是两个Petri网,PN= PN1 OT PN2 , 且?= T1 ?T2 。 问题一: 给定??T* ,??L(PN)? 问题二:若?i? L(PNi) =(P,T;F, M0) , ?1??2?L(PN)?其中?1??2={?| ??T1?T2 ??Ti(?)= ?i, i=1,2} 一、合法发射序列的判定 直接测试算法 依序判断每个变迁是否可以发生? 一、合法发射序列的判定 定义8.1. 设Ti (i=1,2) 是两个字母表,且T1 ?T2??。LTi分别是Ti上的一个语言,对于?i? LTi ,令 ?1??2={?| ??T1?T2 ??Ti(?)= ?i, i=1,2} 则称?1??2是?1、?2的同步序列集。 若Xi是对应于?i的发射向量,令X= X1?X2,使得??t ? T1 ? T2: (1)若(t ? T1 ?T2) ?(X1(t)=X2(t)),则X(t)= X1(t); (2)若(t ? Ti –(T1 ?T2)) ?(X3-i(t)=0),则X(t)= Xi(t); 则称X是X1、X2的同步发射向量。 c a d b e 4 3 1 2 PN2 a b g 6 7 5 PN1 c a d b e 4 3 1 2 g 6 7 5 f f ?1 =acdeb ?2 =gabf ?1??2 ={gacdebf} a b c d e f g X1 =(1, 1, 1, 1, 1) X2 =(1, 1, 1, 1) X1?X2 =(1, 1, 1, 1, 1, 1, 1) 一、合法发射序列的判定 引理8.1. 设T 是一个字母表,且? T1 ,T2 ??T: T1 ? T2 =T,T1 ?T2??。对于??T*,令 ??T?Ti(?)= ?i, i=1,2。则??T1??(?1)= ??T2??(?2),这里?= T1 ?T2 。 一、合法发射序列的判定 定理8.1. 设PNi=(Pi,Ti;Fi, M0i) (i=1,2) 是两个Petri网,PN= PN1 OT PN2 , 且?= T1 ?T2 。若?i? L(PNi) ,则?1??2?L(PN)当且仅当??T1??(?1)= ?T2??(?2)。 一、合法发射序列的判定 定理8.2. 设PNi=(Pi,Ti;Fi, M0i) (i=1,2) 是两个Petri网,PN= PN1 OT PN2 , 且?= T1 ?T2 。则?? L(PN) 当且仅当 ?T? Ti(?)= ?i? L(PNi) 。 一、合法发射序列的判定 一、合法发射序列的判定 一、合法发射序列的判定 c a d b e 4 3 1 2 PN2 a b g 6 7 5 PN1 f c a d b e 4 3 1 2 g 6 7 5 f PN 一、合法发射序列的判定 对于10个序列的算法Shufting_Test的测试结果 一、合法发射序列的判定 对于10个序列的算法Beloning_Test 的测试结果 二、合法发射向量的判定 设PN=(P,T;F, M0) 是一个Petri网, X 是|T|维非负整数向量, 问题三:X是PN的发射向量? 对于一般网类是NP-完全问题,仅对于可持续网、无冲突网和标识S-图(状态机网)是多项式可解的。 问题四:M是PN的可达标识? 二、合法发射向量的判定 定义8.2. 设PNi=(Pi,Ti;Fi, M0i) (i=1,2,?,k) 是k个Petri网, ?i 是PNi的发射序列,Xi 是?i对应的发射向量, i=1,2,?,k。则记 PN1?i= PN1 OT PN2 OT ? OT PNi T1?i=T1?T2???Ti ?1?i= ?1??2 ????i X1?i = X1?X2 ? ? ?Xi 二、合法发射向量的判定 引理8.2.设PNi=(Pi,Ti;Fi, M0i) (i=1,2) 是两个Petri网, PN1?2= PN1 OT PN2 =(P,T;F, M0),X是PN的|T|维非负整数向量,?T? Ti(X)=Xi,则X是PN的发射向量当且仅当 (1)Xi是PNi的发射向量; (2) ??T1? T
您可能关注的文档
- 第五部分可编程逻辑器件讲述.ppt
- 第八单元_课题3___金属资源的利用和保护讲述.ppt
- 第八单元复习生活在依法治国的国家讲述.ppt
- 第四章新能源汽车详解.ppt
- 第五课职业决策与路径讲述.ppt
- 第八单元第4讲免疫调节讲述.ppt
- 第五节赢在未来,重重执行讲述.ppt
- 第四讲诉讼标的详解.ppt
- 第八单元课题3__金属资源的利用和保护讲述.ppt
- 第八单元_课题三_金属资源的利用和保护2讲述.ppt
- 2024-2025学年小学科学四年级上册湘科版(2024)教学设计合集.docx
- “学困生转化工作”课题结题报告(精选11篇) .pdf
- “桂林鸡血玉”的色彩、花纹、画面赏析——玉石中的桂林山水 .pdf
- 2024-2025学年小学科学四年级下册青岛版(五四制2017秋)教学设计合集.docx
- XXXX酒店装修工程技术标 .pdf
- Linux操作系统期末试卷 .pdf
- 一种保温防水绿化种植预制墙板屋顶面板及其制备方法 .pdf
- 2024-2025学年小学科学二年级下册冀人版(2024)教学设计合集.docx
- 【最新考试题库及答案】集团财务面试笔试试题 .pdf
- 开学典礼学生代表发言稿15篇.doc
文档评论(0)