×

粗糙集和并发。 (英语) Zbl 0786.68034号

摘要:我们将信息系统用作并发系统规范的工具。我们提出了一种从任意信息系统(S)以标记Petri网(N_S,M_S)的形式构造其并发模型的算法,该模型具有以下性质:可达集(R(N-S,M-S)正好对应于与(S)中所有有效决策规则一致的所有全局状态集(在\(S)\中有例子)。集合\(R(N_s,M_s)\)表示与\(s\)表示的知识一致的\(s \)的最大扩展。
我们的结果似乎对信息系统分解方法和实时状态识别具有一定的意义。

MSC公司:

2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)
68第20页 信息存储和数据检索
94D05型 模糊集和逻辑(与信息、通信或电路理论有关)
PDF格式BibTeX公司 XML格式引用