文件名称：SEPIA: Security-oriented PN Framework:Petri网框架，用于与安全相关的建模和推理。-开源
文件大小：2.2MB
文件格式：JAR
更新时间：2024-05-20 14:29:18
开源软件
SEPIA为各种类型的Petri网提供实现。 沿着放置/过渡网络，它支持具有可区分标记颜色的Petri网络，并定义了彩色工作流网络，其中彩色标记被解释为流程执行期间使用的数据元素。 为了支持流程的信息流分析，SEPIA定义了所谓的IF-Net，该IF-Net专为面向安全性的工作流建模而设计，使用户能够为过渡，数据元素和参与流程的人员/代理分配安全级别（HIGH，LOW）执行。 SEPIA建立在TOVAL（http://sourceforge.net/p/toval)、JAGAL（http://sourceforge.net/p/jagal）和SEWOL（https://sourceforge.net/projects/jawl/）的基础上。 要使用SEPIA，请确保这些库在构建路径上。 SEPIA包含多模式验证器（https://msv.java.net/）和isorelax（http://iso-relax.sourceforge.net/）。该文档可在http：//doku.telematik.uni-下找到。 freiburg.de/sepia。