以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 理论计算机科学 』  (http://bbs.xml.org.cn/list.asp?boardid=64)
----  袁崇义《Petri网原理》学习问题集,恳请达人解惑~  (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=57205)


--  作者:vssivl
--  发布时间:12/26/2007 11:43:00 AM

--  袁崇义《Petri网原理》学习问题集,恳请达人解惑~
1.基本网中,事件e在丛c有发生权的充要条件是 “e的前集包含c 并且 e的后集与c的交集为空”

我觉得这个有问题,第一个条件“e的前集包含c”应当改为 “e的前集等于c”

如果e的前集包含c,比如有三个前集,但现在条件丛c只有两个,那么这个变迁可以发生吗?不会发生吧,少一个条件啊~

我认为这个是书中的错误,应该改为 e的前集等于c, 并且后面的不变


举例来讲,如果c是空,那么也符合这个定义,但是c为空能使变迁发生吗?很明显不能


[此贴子已经被作者于2007-12-26 15:03:37编辑过]

--  作者:vssivl
--  发布时间:12/26/2007 11:54:00 AM

--  
2.

基本网中 后继丛c'的定义是:c与e的前集的差集,并上e的后集

并上e的后集 很容易理解,但前面  c与e的前集的差集  ,事件e发生之后 关e的前集什么事?

我认为这是书中的错误,应该改为把  c与e的前集的差集 去掉,只保留e的后集


--  作者:vssivl
--  发布时间:12/26/2007 12:20:00 PM

--  
3.为什么伴随条件使得与之相关的事件不能发生?
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
34.180ms