论文研究 关于“示例学习的最大复合问题及算法”一文的注记.pdf

使用控制是最有希望的下一代数字资源使用保护技术，Petri网能够描述使用控制模型的分布、并发、同步等特征，是表达和研究使用控制模型的有效技术。定义了授权控制模型的访问策略，然后采用Petri网进行了表达，证明了Petri网表达授权访问策略的正确性，最后通过示例说明了Petri网表示的表达能力。