Search Results - V. A. Bashkin

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Nets of active resources

    Nets of active resources by V. A. Bashkin

    Published 2007-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    On the Hereditary Properties of Modular Nets

    On the Hereditary Properties of Modular Nets by V. A. Bashkin

    Published 2015-03-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    On the Efficient Representation of an Unbounded Resource with the Aid of One-Counter Circuits

    On the Efficient Representation of an Unbounded Resource with the Aid of One-Counter Circuits by V. A. Bashkin

    Published 2013-04-01
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Approximating Bisimulation in One-counter Nets

    Approximating Bisimulation in One-counter Nets by V. A. Bashkin

    Published 2011-12-01
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    On the Decidability of Soundness of Workflow Nets with an Unbounded Resource

    On the Decidability of Soundness of Workflow Nets with an Unbounded Resource by V. A. Bashkin, I. A. Lomazova

    Published 2013-08-01
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Controllable Deadlocks in Parallel Resource-Constrained Workflows

    Controllable Deadlocks in Parallel Resource-Constrained Workflows by V. A. Bashkin, N. Yu. Panfilova

    Published 2014-12-01
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Instrumental Supporting System for Developing and Analysis of Software-Defined Networks of Mobile Objects

    Instrumental Supporting System for Developing and Analysis of Software-Defined Networks of Mobile Objects by V. A. Sokolov, S. V. Korsakov, A. V. Smirnov, V. A. Bashkin, E. S. Nikitin

    Published 2015-08-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: