安妮卡 swMATH编号： 22198 软件作者： 服务技术 描述： Anica是一个自动非干涉检查助手，用于检查安全Petri网的基于位置的非干涉（PBNI+）和基于位置的不干涉降级（PBNID）。Anica是一个用C++编写的基于CLI的单用途程序。作为输入，Anica需要一个安全的Petri网，在验证的情况下，这些转换被标记为HIGH和LOW（或者在PBNID的情况下附加DOWN）。Anica提供以下功能：验证完整的指定Petri网；所有有效赋值的特征；为每一次违反不干涉规定的行为提供目击路径；提供工具链的全自动使用；带标记置信水平的着色Petri网；用检查结果着色Petri网；类似证书的结果文件。 主页： http://service-technology.org/anica/ 相关软件： 多Ubic;政治公众人物 引用于： 1文件 2位作者引用 1 保罗·巴尔丹 1 亚历山德罗·贝吉亚托 连载1篇 1 理论计算机科学 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文