基于Petri网的安全工作流管理系统建模
为增强工作流管理系统的安全性,本文使用高级 Petri 网对工作流过程进行建模。针对不同的安全问题,分别引入时间Petri 网、有色Petri 网和有色时间Petri 网进行建模。保证
2024-03-09
5