×

基因

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文件

按年份列出的引文