1. Alur, R. and Dill, D., Automata for modeling real-time systems, Lect. Notes Comput. Sci., 1990, vol. 443, pp. 322–325.
2. Bashkin, V.A., Nets of active resources for distributed systems modeling, Joint Bull. NCC&IIS, Comput. Sci., 2008, vol. 28, pp. 43–54.
3. Bashkin, V.A., Formalization of semantics of systems with unreliable agents by means of nets of active resources, Progr. Comput. Software, 2010, vol. 36, no. 4, pp. 187–196.
4. Bashkin, V.A. and Lomazova, I.A., Resource driven automata nets, Fundam. Inf., 2011, no. 3, pp. 223–236.
5. Bashkin, V.A. and Lomazova, I.A., Cellular resource driven automata nets, Fundam. Inf., 2012, nos. 3–4, pp. 245–259.