超级会员免费看
有界Petri网合成的符号算法
1. 最小区域计算示例
图6展示了最小区域计算的示例。从ER(a)开始，通过迭代扩大多重集，直至得到最小区域。表1描述了探索树的其中一条路径。
| ri | s0 | s1 | s2 | s3 | s4 | s5 | s6 | 非法事件 | 选择事件 | gmin | gmax | g |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| r1 = ER(a) | 1 | 1 | 1 | 0 | 1 | 0 | 0 | {a, b} | a | -1 | 0 | -1 |
| r2 = ⊓−1(r1, a) | 2 | 2 | 1 | 0 | 1 | 0 | 0 | {a, |
订阅专栏 解锁全文
扫一扫
36
评论
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
