×

石化

swMATH ID: 9784
软件作者： Cortadella，J.、Kishinevsky，M.、Kondratyev，A.、Lavagno，L.、Yakovlev，A。
描述： Petrify是一种用于Petri网和异步控制器合成的工具。Petrify读取一个Petri网并生成另一个比原始描述更简单的双相似Petri网。最初，石化对初始Petri网执行令牌流分析，并生成转换系统（TS）。在初始TS中，具有相同标签的所有转换都被视为一个事件。然后转换TS并重新标记转换，以满足获得Petri网所需的条件。Petrify能够获得具有某些特定属性的Petri网：纯、自由选择、唯一选择、位置无冗余等。Petri网被Petrify接受，也可以解释为描述异步控制器行为的信号转移图。Petrify能够解决完全状态编码问题并生成速度相关电路。Petrify还包括另一个名为draw_astg的应用程序，用于以多种图形格式绘制信号转换图。
主页： 网址：http://www.lsi.up.edu/~jordicf/石化/
相关软件： 基因；github；恰当的；Synet公司；rbminer公司；Uppaal公司；克洛诺斯；BPEL2oWFN型；糠；NetworkX公司；PBLib（公共图书馆）；VIP工具；正式舞会；工作工艺；杰科；UMDES公司；丽贝卡；甲酚；SMT互联网；SMT-LIB公司
引用于： 26文件
全部的 前5名

45位作者引用

4 维克托·科门科
4 亚历山大五世·雅科夫列夫。
三 雷蒙德·魔鬼队
三 马西耶·库特尼
三 马克·施费尔
三 沃尔特·福格勒
2 最好的，艾克
2 乔迪·科尔塔德拉
2 恩里克·帕斯特
2 乌里·施拉赫特
2 塞尔吉奥·尤文
1 罗莎·阿巴西
1 艾哈迈德·艾莎
1 安德鲁·巴兹利
1 彼得·比雷尔（Peter A.Beerel）。
1 艾哈迈德·博阿贾尼
1 马里乌斯·博兹加
1 L.布拉肯伯里。
1 乔塞普·卡莫纳
1 道格·爱德华兹
1 哈维尔·埃斯帕尔扎
1 乌里·弗兰克
1 丹尼斯·P·福瑞。
1 法特梅·加塞米
1 Ran Ginosar公司
1 彼得·扬查尔
1 侯建民
1 马克·B·约瑟夫。
1 察希·卡普希茨
1 拉丁·科斯拉维
1 尼尔斯·洛曼
1 阿格尼斯·马达林斯基
1 奥德·马勒
1 马可·佩纳。
1 Marta Pietkiewicz-Koutny
1 马克·索莱
1 维克多·特伦
1 乔治·西奥多罗普洛斯。
1 特雷杜普，罗尼
1 斯塔夫罗斯·特里帕基斯
1 蒂齐亚诺别墅
1 卡斯滕·沃尔夫
1 拉尔夫·沃洛夫斯基
1 夏，费
1 谢爱国
全部的 前5名

7篇连载文章中引用

6 计算机基础理论
三 信息学报
2 理论计算机科学
2 系统设计中的形式化方法
1 《计算机杂志》。A部分/B部分
1 并行与分布式计算杂志
1 国际应用数学与计算机科学杂志

在4个字段中引用

26 计算机科学（68至XX）
4 信息与通信理论、电路（94-XX）
1 运筹学、数学规划（90-XX）
1 系统论；控制（93至XX）

按年份列出的引文