第八章Petri网合法发射序列的判定讲述.ppt

第八章Petri网合法发射序列的判定讲述.ppt

  1. 1、本文档共28页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 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

文档评论(0)

shuwkb + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档