恰当的 swMATH ID: 23176 软件作者： Schlachter，U.等人。 描述： APT–分析Petri网和标记转换系统。欢迎来到APT。该软件的目的是在Petri网和标记转换系统上运行各种分析方法。本指南解释了APT入门的最重要方面。为了引用APT，我们推荐以下出版物：General:Eike Best，Uli Schlachter：《Petri网和转换系统分析》。ICE 2015年：53-67；综合：Uli Schlachter：限制类网络的Petri网综合。Petri Nets 2016年：79-97 主页： https://github.com/CvO-Theory/apt 源代码： https://github.com/CvO-Theory/apt 相关软件： github;石化;Synet公司;算法447;z3（零3）;SMT互联网;2号管道;mCRL2型;JaCoP公司;周六4j;基因;ITS工具;汽车;SMT-LIB公司 引用于： 33文件 全部的 前5名16位作者引用 12 雷蒙德·魔鬼队 10 乌里·施拉赫特 10 特雷杜普，罗尼 9 最好的，艾克 6 哈罗·威梅尔 5 埃罗菲耶夫·叶夫根尼 2 卡米拉·巴里尔斯卡 2 乌卡斯·米库尔斯基 2 马钦·皮·特考夫斯基 2 蒂埃里·米格，Yann 1 埃里克·巴杜埃尔 1 胡安·德·拉腊 1 安东尼奥·加门迪亚 1 戈梅斯·马丁内斯，埃琳娜 1 埃丝特·格拉 1 马西耶·库特尼 5篇连载文章中引用 8 计算机基础理论 2 信息学报 1 信息与计算 1 计算机科学科学年鉴 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 33 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文