The interference in the workflow is described using the Petri nets formalism. The software implementation of the workflow control system is accomplished via the tabulation of the links, connecting input and output data of the atomic tasks. The dynamic menu visualization in the user interface is controlled using the table of the links between tasks data intensions and menu items, basing on the incidence function of the workflow Petri net.

The software distributive was created, aimed for the construction of the procedural knowledge-oriented information-computational systems, accessible via the Internet.