1.基本网中，事件e在丛c有发生权的充要条件是 “e的前集包含c 并且 e的后集与c的交集为空”

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

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

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


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

2.

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

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

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

袁教授的书看着头大，对我等数学基础较差的同学无异事半功倍，建议楼主读Petri net theory and the modeling of systems那本，简直经典，让我等数学白痴能够迅速登堂入室，如果能找到80年代吴哲辉对这本书的翻译本也不错。

袁崇义《Petri网原理》

LZ能否共享一下，十分感谢！

fantastic