×

清爽

swMATH编号： 4386
软件作者： M Heiner、M Herajy、F Liu、C Rohr、M Schwarick
描述： Snoopy是一个软件工具，用于设计分层图和动画，以及其他Petri网。该工具已经在科特布斯科技大学计算机科学系“数据结构和软件可靠性”开发，目前仍在开发中。该工具用于验证技术系统，特别是基于软件的系统，以及验证自然系统，即作为代谢、信号转导、基因调控网络的生物化学网络，比较海报“我们工作组的研究活动概述”。
主页： http://www-dssz.informatik.tu-cottbus.de/dssz/Software/Snoopy
相关软件： 玛丽;CPN/工具;日晷;查理;TAPAAL公司;单元格插图;凯格;金西姆;BoolNet公司;ITS工具;TINA公司;设计/CPN;INA公司;亚当;麦考利2;ZBDD公司;MoVisPP公司;科帕西;PNML公司;DSSZ-MC公司
引用于： 35文件
其他出版物： http://www-dssz.informatik.tu-cottbus.de/dssz/Publications/Publications

标准条款

1出版物描述软件 年份
Snoopy——一个统一的Petri网工具
莫妮卡·海纳；赫拉吉，莫斯塔法；刘飞；克里斯蒂安·罗尔（Christian Rohr）；马丁·施瓦里克
2012
全部的 前5名

91位作者引用

9 莫尼卡·海纳
3 大卫·吉尔伯特
3 穆斯塔法·赫拉吉
3 刘菲
2 亚历山大·比尔格拉姆
2 埃默森·欧内斯特·艾伦
2 里卡多·霍诺拉托·齐梅尔
2 彼得·格约尔·詹森
2 维尼特·卡隆
2 码头Kleijn
2 沃尔夫冈·马尔旺
2 安德鲁·米勒。
2 戈登·普洛金（Gordon D.Plotkin）。
2 马丁·施瓦里克
2 吉·斯尔巴
2 Peter H.Taankvist。
2 Verbeek，Fons J。
2 扎迪利斯，阿格里斯
1 艾哈迈德·贾米尔
1 瓦卡尔·艾哈迈德
1 埃蒂安·安德烈
1 希法·塔里克·阿什拉夫
1 乔治·阿萨夫
1 保罗·巴尔丹
1 科尔西·巴列斯特罗斯（Korsie J.Ballesteros）。
1 阿隆娜·本·塔尔
1 Laura M.F.Bertens。
1 尼古拉·邦扎尼
1 弗朗西斯·乔治·卡巴莱。
1 拉斐尔·卡瓦略五世。
1 普罗森吉·查特吉
1 尼科莱塔·科科
1 de la Cruz，Ren Tristan A。
1 埃里克·P·德文克。
1 杜帕亚，Annysia Glynis S。
1 马库斯·杜津斯基
1 弗朗索瓦·法赫斯
1 芬斯特拉（K.Anton Feenstra）
1 威廉·扬·福克金
1 安妮卡·克拉丽斯·安东内拉·P·加拉诺。
1 史蒂文，同性恋
1 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha）
1 克里斯蒂安·格雷斯
1 戴安娜·埃琳娜·格拉蒂
1 哈菲迪，Y。
1 哈里哈拉普特兰，斯里达尔
1 奥斯曼·哈桑
1 托马斯·亨辛格（Thomas A.Henzinger）。
1 雅普·赫林加
1 桑德·科内利斯·希尔
1 弗兰齐斯卡·辛克尔曼
1 拉尔夫·霍菲斯特
1 安娜·卡林（Anna R.Karlin）。
1 本杰明·科尔迈耶
1 马西耶·库特尼
1 莱因哈德·劳本巴赫（Reinhard C.Laubenbacher）。
1 普罗米修斯·彼得·拉佐。
1 勒丁·图安
1 塞巴斯蒂安·勒拉克
1 玛丽亚·康塞桑·莱特。
1 刘，杨
1 Mai、Phuong-Nam
1 马克·马纳塞。
1 安德烈亚·马林
1 Lyle A.麦基。
1 Annemarie H.梅杰。
1 劳拉·梅尼尼
1 大卫·默鲁加拉
1 纳兹，阿纳姆
1 阮和武
1 阮文婷
1 阿伊莎·奥贝德
1 苏珊·奥维基。
1 劳雷·佩特鲁奇
1 宝龙Pham-Duy
1 波波瓦·齐格曼（Louchka Popova-Zeugmann）
1 科拉多·波西耶里
1 沙兹·卡迪尔
1 Quan，Thanh-Tho先生
1 Rajamani，Sriram K。
1 克里斯蒂安·罗尔
1 穆罕默德·塔里克·赛义德
1 法蒂玛·沙希德
1 玛尔塔·西蒙
1 西尔万·索利曼
1 索菲涅·塔哈尔
1 安东尼奥·托纳姆
1 阿列克谢·托夫奇格里奇科
1 阿兰·贝利兹·库巴
1 安妮格丽特·卡特琳·瓦格勒
1 王云娇
全部的 前5名

12篇连载文章中引用

6 自然计算
4 理论计算机科学
2 非线性分析。混合动力系统
1 数学生物学杂志
1 算法
1 差分方程与应用杂志
1 计算机基础理论
1 数学生物科学与工程
1 医学中的计算和数学方法
1 理论生物学杂志
1 程序设计中的逻辑和代数方法杂志
1 膜计算杂志
全部的 前5名

在10个字段中引用

25 计算机科学（68至XX）
19 生物学和其他自然科学（92-XX）
2 线性代数和多线性代数；矩阵理论（15-XX）
2 系统论；控制（93至XX）
1 数学逻辑和基础（03-XX）
1 阶、格、有序代数结构（06-XX）
1 代数几何（14-XX）
1 偏微分方程（35-XX）
1 差分方程和函数方程（39至XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文