针对Petri网在业务流程建模方面强大的描述分析功能，使用Petri网来描述和分析某银行软件的身份验证流程，来降低身份被冒用的风险。对某银行软件的身份验证流程建立Petri网模型，根据Petri网的基础理论和相关性质对该模型进行分析，并且使用关联矩阵和状态方程来分析网系统的活性和安全性，使用仿真工具PIPE对建立的模型进行验证。使用唯一可达向量网的方法来分析模型的可达性，减少了工作量。
科研之友
微信
新浪微博
Facebook
分享链接
