Описано основні характеристики моделі програмної системи (ПС), до яких належать працездатність та передбачуваність функціонування. Проаналізовано інструментальні засоби, що використовуються для моделювання ПС. Побудова моделей та аналіз динамічних властивостей ПС основано на виборі інтерпретацій та модифікацій мереж Петрі (Petri Nets (PN)). Вони дозволяють дотримуватись структурної подібності у модельованій системі, а також мають однозначний математичний опис. Аналіз властивостей PN дає змогу виявляти явні та приховані помилки у функціонуванні PN-моделі ПС, що не завжди можливо при застосуванні імітаційного моделювання. До таких властивостей належать живість, обмеженість, досяжність (покриваємість), збережуваність, безконфліктність, керованість.