科兹兹托夫·潘塞兹;兹比格尼乌·苏拉吉 使用ROSECON系统从数据表中发现并发模型。 (英语) 兹比尔1086.68560 芬丹。通知。 60,编号1-4,251-268(2004). 摘要:本文介绍了一种使用ROSECON软件系统从数据表中发现并发模型的方法。首字母缩写ROSECON来自“ROugh SEts and CONcurrency”。使用ROSECON创建的模型具有彩色Petri网的形式。ROSECON系统基于粗糙集理论。ROSECON导出的模型可用于确定与系统结构和行为有关的不同属性。运行示例说明了在研究信息系统表中的行为模式时可能采取的一些方向。 引用于2文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:粗糙集工具、彩色Petri网、软件系统 软件:PNML公司;罗斯康 PDF格式BibTeX公司 XML格式引用 \textit{K.Pancerz}和\textit{Z.Suraj},Fundam。通知。60,编号1--4,251--268(2004;Zbl 1086.68560) 全文: 链接