Methods of analysis and synthesis of systems for ensuring data validity in automated information and control systems using modified Petri nets

Moscow

251 pp.

Methods of analysis and synthesis of systems for ensuring data validity in automated information and control systems using modified Petri nets — Shvetsov, Aleksandr Rostislavovich — 1992 — Russian Dissertation Library