Концептуальное моделирование с использованием сетей Петри и позиционных множествтезисы доклада