Vladimir A. Bashkin

Learn More
Resource-driven automata (RDA) are finite automata, sitting in the nodes of a finite system net and asynchronously consum-ing/producing shared resources through input/output system ports (arcs of the system net). RDAs themselves may be resources for each other, thus allowing the highly flexible structure of the model. RDA-nets are expressively equivalent to(More)
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(More)
This article describes the organization principles for wireless mesh networks (softwaredefined networks of mobile objects). The emphasis is placed on developing effective routing algorithms for these networks. The mathematical model of the system is the standard transportation network. The key parameter of the routing system is the node reachability(More)
In this work we consider modeling of workflow systems with Petri nets. A resource workflow net (RWF-net) is a workflow net, supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions. We do not constrain neither the intermediate nor final resource markings, hence a net can have an infinite(More)