×

使用弱持久性减少并发系统的状态空间生成。 (英语) Zbl 0822.93005

Cohen,Guy(编辑)等人,第11届系统分析和优化国际会议:离散事件系统。索菲亚·安蒂波利斯,法国,1994年6月15日至17日。柏林:Springer-Verlag。莱克特。票据控制信息科学。199, 191-197 (1994).
在分析离散事件系统时,最重要的问题之一是允许事件并发发生的状态空间爆炸。给定描述离散事件系统的模型(例如自动机模型、Petri网、进程代数等),其状态空间具有转换系统的形式。在已经提出的避免状态空间爆炸的方法中,作者在此提出了一种简化的状态空间生成方法:通过限制原始状态空间的某些状态转换来构造状态空间。此外,作者还表明,他的简化状态空间生成方法保留了活性、活锁和终端状态存在等性质。
关于整个系列,请参见[Zbl 0811.00024号].

MSC公司:

93A10号 一般系统
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
93B11号机组 系统结构简化
PDF格式BibTeX公司 XML格式引用