Аннотацiя: | У статті описано основні особливості мереж Петрі, які можуть бути використані для моделювання, аналізу та проектування виробничих систем. Визначено можливості їх застосування для виявлення таких властивостей, як "безпечність", "обмеженість", "активність", "зберігальність", "оберненість", "досяжність", "покривальність". |