Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling. - Vladimir A. Bashkin; Irina A. Lomazova; Yulia A. Novikova (PaCT, 2013)