安德烈·斯科伦;兹比格尼乌·苏拉吉 粗糙集和并发。 (英语) Zbl 0786.68034号 牛市。波兰。阿卡德。科学。,技术科学。 41,第3期,237-254(1993). 摘要:我们将信息系统用作并发系统规范的工具。我们提出了一种从任意信息系统(S)以标记Petri网(N_S,M_S)的形式构造其并发模型的算法,该模型具有以下性质:可达集(R(N-S,M-S)正好对应于与(S)中所有有效决策规则一致的所有全局状态集(在\(S)\中有例子)。集合\(R(N_s,M_s)\)表示与\(s\)表示的知识一致的\(s \)的最大扩展。我们的结果似乎对信息系统分解方法和实时状态识别具有一定的意义。 引用于8文件 MSC公司: 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 68第20页 信息存储和数据检索 94D05型 模糊集和逻辑(与信息、通信或电路理论有关) 关键词:粗糙集;并发系统;信息系统;标记Petri网 PDF格式BibTeX公司 XML格式引用 \textit{A.Skowron}和\textit{Z.Suraj},公牛。波兰。阿卡德。科学。,技术科学。41,第3号,237--254(1993;Zbl 0786.68034)