VERIFICATION OFACCESS CONTROLSYSTEMS BASED ONMODELING WITH COLOREDPETRI NETS VALERY A. TIKHONOVVladimir AleksandrovichNovikov2021 год

VERIFICATION OF ACCESS CONTROL SYSTEMS BASED ON MODELING WITH COLORED PETRI NETS
статья из журнала