Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling

P. 13–25.

Vladimir A. Bashkin, Ломазова И. А., Novikova Y.

The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the lower level agents are modeled by extended finite state machines, asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). We demonstrate modelling facilities of the formalism and show that specific layers of TRDA-nets can be translated into Timed Automata, as well as into Time Petri nets, thus TRDA-nets integrate merits of both formalisms.

Ключевые слова: modeling, Distributed systems, verification, Petri nets, real-time systems, timed automata

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА: Процессно-ориентированные информационные системы (2013)

В книге

Parallel Computing Technologies. 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings

Vol. 7979: Lecture Notes in Computer Science. , Berlin, Heidelberg: Springer, 2013.