基因 swMATH ID: 9785 软件作者: Carmona,J.、Cortadella,J.和Kishinevsky,M。 描述: Genet:合成和挖掘Petri网的工具。并发系统的基于状态的表示存在众所周知的状态爆炸问题。相反,就分析的复杂性和模型的可视化而言,Petri网是这类系统的良好模型。在本文中,我们介绍了一种工具Genet,它允许从基于状态的系统表示中派生出通用Petri网。该工具支持两种操作模式:合成和挖掘。这两种模式的应用范围从数字系统合成到商业智能。 主页: http://www.lsi.upc.edu/~jcarmona/genet.html 相关软件: 石化;红矿工;VIP工具;NetworkX公司;PBLib(公共图书馆);github;恰当的;Synet公司;正式舞会;工艺品;Reo公司 引用于: 6文件 全部的 前5名10位作者引用 4 马西耶·库特尼 4 Marta Pietkiewicz-Koutny 三 码头Kleijn 1 艾沙·艾哈迈德 1 乔迪·科尔塔德拉 1 雷蒙德·魔鬼队 1 格列泽戈兹·罗森贝格 1 维克托·特伦 1 特雷杜普,罗尼 1 蒂齐亚诺别墅 4篇连载文章中引用 三 理论计算机科学 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 计算机科学科学年鉴 在2个字段中引用 6 计算机科学(68-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文