TINA公司 swMATH ID: 3280 软件作者： 伯托米厄，B。；里贝特，P.-O。；弗纳达特，F。；LAAS/CNRS公司 描述： 工具TINA–为Petri网和时间Petri网构建抽象状态空间。除了图形编辑设施外，软件工具Tina还建议为Petri网或时间Petri网的行为构建一些表示。使用各种技术来提取网络行为的视图，从而保留其状态空间的某些类属性。对于Petri网，这些抽象有助于防止组合爆炸，它依赖于所谓的偏序技术，如覆盖步骤和/或持久集。对于通常具有无限状态空间的时间Petri网，它们根据状态类提供其行为的有限符号表示。 主页： http://projects.laas.fr/tina/ 操作系统： Linux、Windows 98/NT/XP/Vista/Seven下的PC、MacOS X（10.6、10.7）下的Intel Mac、SunOS 5.X（Solaris 10、11）下的PC。 相关软件： Uppaal公司;罗密欧;克洛诺斯;TAPAAL公司;CMC公司;ITS工具;自旋蛋白;CPN/工具;IF-2.0型;MARTE公司;设计/CPN;菲亚克;UMDES公司;GreatSPN公司;玛丽;清爽;UPPAAL TIGA公司;LOTOS公司;蛇;LTSmin公司 引用于： 53文件 全部的 前5名113位作者引用 8 吉·斯尔巴 6 伯纳德·伯托米厄 5 青柠，迪迪埃 5 奥利维尔·H·鲁克斯。 5 Dmitry A.扎伊采夫。 4 弗朗索瓦·沃纳达特。 三 贝拉德，贝特里奇 三 弗兰克·卡塞兹 三 谢尔盖·哈达德 三 拉塞·雅各布森 三 莫滕·雅各布森 三 彼得·格约尔·詹森 三 米凯尔·哈克杰·默勒 2 亚历山大·比尔格拉姆 2 达尔·齐利奥（Dal Zilio，Silvano） 2 休伯特·加拉维 2 约根森、肯尼思·伊尔克 2 迪迪埃·勒·波特兰 2 扬尼克·彭科尔 2 沃伊切赫·彭泽克 2 弗洛伦特·佩雷斯 2 阿加塔·波罗拉 2 法兰克·波默罗 2 奥迪·苏比亚斯 2 Peter H.Taankvist。 2 周梦初 1 阿卜杜拉赫曼·M·阿尔·阿赫马里。 1 尼古拉斯·阿马特 1 Elvio Gilberto Amparore公司 1 安德烈，艾蒂安 1 大卫·安德鲁 1 阿西尔，约翰 1 保罗·W·贝克。 1 桑迪·巴拉格 1 卢西亚诺·巴雷西 1 弗朗西斯科·巴西利 1 穆罕默德·马赫迪·本穆萨 1 贝伦吉耶，D。 1 Jean-Paul Bodeveix公司 1 马克·博伊尔 1 马可·布雷桑 1 约阿金·比格 1 珍妮特·卡多佐 1 卡瓦略、莉莲·卡瓦卡米 1 Claudine Chaouiya，克劳迪娜 1 托马斯·查泰恩 1 陈玉峰 1 克莉丝汀，杂乱无章 1 弗朗科·西西雷利 1 丛、徐亚 1 Jean-Pierre科蒂亚特 1 安东尼奥·库尼亚 1 亚历山大·戴维 1 皮埃尔·德·萨奎·桑奈斯 1 吉安马利亚·德·托马西 1 埃里克·P·德文克。 1 雷蒙德·魔鬼队 1 皮埃尔·迪索 1 苏珊娜·多纳泰利 1 段振华 1 票价，Elie 1 马蒙·菲拉利·阿明 1 安吉洛·富法罗 1 弗朗西斯科·加拉 1 纪尧姆·加迪 1 曼纽尔·加纳乔 1 塞德里克·高切雷尔 1 穆罕默德·加泽尔 1 凯伦·戈达里·德杰恩 1 胡萨姆·埃丁·古加姆 1 顾、赵 1 斯特凡·哈尔 1 J.F.希梅内兹。 1 凯斯·克莱 1 汉娜·克劳代尔 1 纳塔莉亚·科卡什 1 克里斯蒂安·克劳斯 1 弗雷德里克·朗 1 金·古德斯特兰·拉森 1 杰罗姆·罗格朗 1 赫莱内·勒鲁 1 李志武 1 摩根·马根 1 毛晓宇 1 梅雷约（Mercedes G.Merayo）。 1 佩德罗·蒙泰罗。 1 卡洛·莫塔 1 奥雷连·纳尔迪 1 尼格罗、利贝罗 1 爱德华多·维埃拉·利奥修女 1 Manuel A.努内兹。 1 阿兰·普兰泰克 1 帕斯卡·波扎特 1 伊丽莎白·雷米 1 皮埃尔·奥利维尔·里贝特 1 罗西（Matteo A.C.Rossi）。 1 塔雷克·萨达尼 1 格温·萨拉恩 1 施、雅 1 塔蒂亚娜·施梅列娃。 …还有13位作者 全部的 前5名20篇连载文章中引用 6 离散事件动态系统 三 理论计算机科学 2 信息科学 2 计算的形式方面 2 计算机基础理论 1 应用数学与计算 1 Automatica公司 1 模拟中的数学和计算机 1 国际生产研究杂志 1 计算机科学与技术杂志 1 实时系统 1 国际计算机数学杂志 1 控制论与系统分析 1 系统设计中的形式化方法 1 混乱 1 通用计算机科学杂志 1 计算机科学课堂讲稿 1 计算智能研究 1 亚洲控制杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名10个领域引用 45 计算机科学（68至XX） 10 系统论；控制（93至XX） 三 运筹学、数学规划（90-XX） 三 生物学和其他自然科学（92-XX） 2 数理逻辑与基础（03-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 动力系统和遍历理论（37至XX） 1 光学、电磁理论（78-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文