Verification of network security based on Petri net and logic circuits
基于Petri网和逻辑电路的网络安全验证

Used places and changes of the Petri net to describe the state and behavior of the net, while expressed the state of the place by 0 and 1 in the logic algebra ,thus converted the complicated Petri net models to simple logic expressions. So advanced a new method combing the Petri net and the logic circuit, in which supported the formalized step and the mathematical model mutually. It is an effective and rapid method to verify the network security.