Security Infrastructure Verification of Library Information Grid Based on ePr/T net

摘要

Grid Security Infrastructure of Library Information (GSI-LI) is difficult to analyze dynamic traits and behavior relationships by using ordinary modeling tools. In the study, the modeling methods about GSI-LI are presented based on the extend Predication/Transition net (ePr/T net) and then taking advantage of S-invariant properties of the ePr/T net, the model of GSI-LI is validated. The analyzing effect shows the GSI-LI is correct and the verification methods are effective.