NUPN_信息 swMATH ID: 29137 软件作者： 休伯特·加拉维；INRIA罗纳阿尔卑斯山 描述： nupn_info-嵌套单位Petri网的查询和转换。将包含以nupn格式编码的嵌套单位Petri网（nupn）的输入文件name.nupn（或默认为标准输入）作为输入文件，nupn_info根据命令行上指定的选项执行各种分析或转换，并将相应的结果写入标准输出。 主页： http://cadp.inria.fr/man/nupn_info.html 相关软件： 凯撒.bdd;凯撒;TINA公司;PNML公司;洛拉;LOEWE公司;ITS工具;梅德利;PNMC公司;PNML2NUPN标准;彼得里韦布;Exp.未结;LTSmin公司;钙磷;续订;利比亚DDD;LOTOS公司;GreatSPN公司 引用于： 6文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 嵌套单位Petri网。 Zbl 1427.68195号休伯特·加拉维 2019 全部的 前5名被9位作者引用 4 休伯特·加拉维 2 皮埃尔·布维尔 1 尼古拉斯·阿马特 1 伊利亚卡斯特拉尼 1 达尔·齐利奥（Dal Zilio，Silvano） 1 佩德罗·鲁宾·达吉尼奥 1 迪迪埃·勒·波特兰 1 埃尔南·蓬塞·德莱昂 1 安娜·索科洛娃 连载1篇 2 程序设计中的逻辑和代数方法杂志 在2个字段中引用 6 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文