Skip to main content

7 Result(s)

within I. A. Lomazova Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    E-Government Services: Comparing Real and Expected User Behavior

    E-government web services are becoming increasingly popular among citizens of various countries. Usually, to receive a service, the user has to perform a sequence of steps. This sequence of steps forms a servi...

    A. A. Kalenkova, A. A. Ageev, I. A. Lomazova… in Business Process Management Workshops (2018)

  2. No Access

    Article

    Using Event Logs for Local Correction of Process Models

    During the life-cycle of an Information System (IS) its actual behavior may not correspond to the original system model. However, to the IS support it is very important to have the latest model that reflects t...

    A. A. Mitsyuk, I. A. Lomazova… in Automatic Control and Computer Sciences (2017)

  3. No Access

    Article

    Automatic construction of systems of distributed components from nested Petri nets models

    Multi-level multi-agent systems (MASs) with dynamic structure are widely used in solving important applied problems in telecommunication, transportation, social, and other systems. Therefore, ensuring correct ...

    L. W. Dworzanski, I. A. Lomazova in Programming and Computer Software (2016)

  4. No Access

    Article

    CPN tools-assisted simulation and verification of nested Petri nets

    Nested Petri nets (NP-nets) is an extension of Petri net formalism within the “nets-within-nets” approach, when tokens in a marking are Petri nets wich have autonomous behavior and synchronize with the system ...

    L. W. Dworzański, I. A. Lomazova in Automatic Control and Computer Sciences (2013)

  5. No Access

    Article

    Modelling multiagent systems with the help of generalized nets of active resources

    The problem of modelling infinite-state multiagent systems is considered. Formalisms based on the generalization of nets of active resources are studied. New modeling techniques are defined, namely, parametriz...

    V. A. Bashkin, I. A. Lomazova in Cybernetics and Systems Analysis (2011)

  6. No Access

    Article

    Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility

    Recursive nested Petri nets may contain marked nets, including their own copies, as their tokens. It is proved that the termination problem is decidable for recursive nested nets with autonomous elements. The ...

    I. A. Lomazova in Programming and Computer Software (2001)

  7. No Access

    Chapter and Conference Paper

    Procedural implementation of algebraic specifications of abstract data types

    I. A. Lomazova in Fundamentals of Computation Theory (1987)