Application of Petri Networks for Support of Functional Stability of Information Systems | IEEE Conference Publication | IEEE Xplore