×

使用ROSECON系统从数据表中发现并发模型。 (英语) 兹比尔1086.68560

摘要:本文介绍了一种使用ROSECON软件系统从数据表中发现并发模型的方法。首字母缩写ROSECON来自“ROugh SEts and CONcurrency”。使用ROSECON创建的模型具有彩色Petri网的形式。ROSECON系统基于粗糙集理论。ROSECON导出的模型可用于确定与系统结构和行为有关的不同属性。运行示例说明了在研究信息系统表中的行为模式时可能采取的一些方向。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 链接