Vladimir A. Bashkin, Irina A. Lomazova, Yulia A. Novikova. Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling. In Victor Malyshkin, editor, Parallel Computing Technologies - 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings. Volume 7979 of Lecture Notes in Computer Science, pages 13-25, Springer, 2013. [doi]
Abstract is missing.