Мережа Петрі PN є (сильно) живою, якщо всі переходи живі в m0. Перехід t мертвий на позначці m, якщо більше немає розмітки, що починається з m, яка призводить до активації t. Маркер m мертвий, якщо перехід не дозволено. 29 листопада 2023 р

S/T мережа називається обмеженою, якщо кількість позначок у кожному місці не може перевищувати задану верхню межу. Це означає, напр. B. k обмеженість, що для кожної досяжної позначки є максимум k позначок у кожній із точок.

в ПетроНа відміну від ланцюжка процесів, керованих подіями (EPK), в мережах не використовуються оператори зв'язку. Посилання показані неявно. Щоб відобразити динамічну поведінку мережі, місцям призначаються так звані маркери, які представляють поточний стан.

Узагальнення, окремі випадки, варіанти

• Найбільш загальна форма високого рівнямережі.
• Особливий випадок вільний вибір.
• Узагальнення елементарних мережі.
• Пов'язані з часом і стохастичні мережі.
• Вища Петро–мережі.

Базова структура Мережа Петрі складається з чотирьох елементів: Місця, переходи, краї та жетони . Графічно локації представлені колами, переходи прямокутниками, краї спрямованими стрілками, а жетони маленькими зафарбованими колами. Існують різноманітні розширення для мереж Петрі.

В абстрактному сенсі, що відноситься до діаграми мережі Петрі, Перехід мережі Петрі може бути запущений, якщо вона активована, тобто. ч. якщо є достатня кількість жетонів у всіх їхніх точках входу . Коли перехід запускається, він споживає необхідні вхідні маркери та створює маркери в їхніх вихідних місцях.

Мережі Петрі є Системи переходу між станами, які розширюють клас мереж, які називаються елементарними мережами . P і T є непересічними кінцевими наборами місць або переходів. це набір (спрямованих) дуг (або відносин потоку).