Search Results - I. A. Lomazova

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    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:
  2. 2
    DOES YOUR EVENT LOG FIT THE HIGH-LEVEL PROCESS MODEL?

    DOES YOUR EVENT LOG FIT THE HIGH-LEVEL PROCESS MODEL? by A. K. Begicheva, I. A. Lomazova

    Published 2015-06-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    CPN Tools-Assisted Simulation and Verification of Nested Petri Nets

    CPN Tools-Assisted Simulation and Verification of Nested Petri Nets by L. W. Dworza´nski, I. A. Lomazova

    Published 2015-03-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: