Petri Net Approach for Estimation the Information Systems Security Level in Any Logic Environment | IEEE Conference Publication | IEEE Xplore