#### Filter Results:

- Full text PDF available (11)

#### Publication Year

2003

2016

- This year (0)
- Last five years (10)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Vladimir A. Bashkin, Irina A. Lomazova
- Fundam. Inform.
- 2011

- Vladimir A. Bashkin
- Programming and Computer Software
- 2010

- Vladimir A. Bashkin, Irina A. Lomazova
- Fundam. Inform.
- 2012

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)

- V. A. Sokolov, S. V. Korsakov, A. V. Smirnov, Vladimir A. Bashkin, E. S. Nikitin
- Automatic Control and Computer Sciences
- 2016

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. The problem of replacing some resources by others retaining the correct functioning of the system is studied. The relation of resource s-equivalence is defined. Some properties of this relation are studied. It is proved that s-equivalence is decidable provided the set of all minimal… (More)

- Vladimir A. Bashkin, Irina A. Lomazova
- Fundam. Inform.
- 2003

Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource bisimulation and show that they are finitely based. In this paper the resource bisimulation is studied for… (More)

- Vladimir A. Bashkin, Irina A. Lomazova
- PNSE+ModPE
- 2013

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)

- Jörg Bachmann, Louchka Popova-Zeugmann, +12 authors Abdel-Badeeh M. Salem
- 2009

- Vladimir A. Bashkin, Irina A. Lomazova
- Trans. Petri Nets and Other Models of Concurrency
- 2014