Контрольная работа: Предметна область системного аналізу Основні поняття системного аналізу

Потрібно за даними в методичці знайти розширену вхідну і вихідну функції мережі Петрі. Також зобразити граф мережі Петрі, дерево досяжності глибини 3. Написати програму яка повинна шукати розширену вхідну і вихідну функції за вхідними даними і будувати дерево досяжності.

Вхідні дані:

I (t 1) = {p 4,p 2 , p 3 }; O (t 1) = { p 4, p 3, p 4 , p 3, p 3 , p 4, p 1 };

I (t 2) = { p 2, p 3, p 3 , p 3};O (t 2) = { p 3,p 1, p 2, p 4, p 4};

I (t 3) = {p 4, p 3}; O (t 3) = {p 1,p 4};

I (t 4) = {p 4, p 2p 2, p 4 , p 4p 3, p 2};O (t 4) = { p 2, p 2 };

μ0 = {5,5,5,5}.

Хід виконання роботи:

Ознайомитись з теоретичними відомості, які подані в цій методичці. Реалізувати на мовах Pascal або С програми зв’язного формування списку елементів послідовності згідно номеру варіанту.Програма повинна шукати розширену вхідну і вихідну функцію і будувати дерево досяжності глибини 3. Розв’язати завдання відповідно до свого порядкового номеру у спискугрупи. Завдання отримати у викладача. При оформленні лабораторної роботидотримуватись вимог, які наведені в методичних вказівках.

Розширена вхідна і вихідна функції:

I(p1)={t1,t2,t3} I(p2)={t2,t4,t4} I(p3)={t1,t1,t1,t2} I(p4)={t1,t1,t1,t2,t2,t3}

O(p1)={} O(p2)={t1,t2,t4,t4,t4} O(p3)={t1,t2,t2,t2,t3,t4} O(p4)={t1,t3,t4,t4,t4}

Граф мережі Петрі:

Маркування мережі Петрі:

Виконання мережі Петрі:

Запуск t 1:

Запуск t2 :

Запуск t3 :

t4