Az alapvető tulajdonságait Petri hálók

Gyakorlati modellezési feladatok, beállíthatja, hogy a tulajdonságok száma Petri hálók, jellemezze a viselkedését a szimulált rendszer.

ingatlan korlátozásokat. Pozíció pi hálózati F N = F, T, F, Mo> korlátos, ha bármely k ilyen elérhető létezik M jelölés hálózatban, # 956; i ≤ k. Hálózati PN korlátos, ha ő helyzetét korlátozott. A hálózat 2.1 ábra nem korlátozott, például a lehetséges korlátlan növekedés # 956; 2. különleges karakter jelölésére használjuk neogravicheshyuy címkézés # 969;. Így az egyik lehet azonosítani az M megjelölés = [1, # 969 ;, 0], hogy a jelölések fán (2.2 ábra.).

átmenet kezdődik, R (PN, M)

biztonsági tulajdonság. Hálózati PN nevezzük biztonságos, ha minden elérhető jelölés # 956; i ≤ 1 minden i = 1 n. Így a biztonságos hálózati jegyekkel vektor az csak nullák és egyesek (bináris szó).

Az ingatlan konzervativizmus. A hálózat az úgynevezett konzervatív, ha az összeg a chipek minden helyzetben állandó marad, ha a hálózat

Az ingatlan élénkségét. Mi most úgy a tulajdonságait az átmenetek. Átmeneti tj hálózat PN = # 920 ;, P, T, F, M0> úgynevezett potenciálisan életben, ha van elérhető Mo-jelölés M”, ahol tj működhet. Ha tj potenciálisan életben bármikor elérhető PN-jelölés, ez az úgynevezett élő. Átmeneti tj. nem lehetséges élve a kezdeti jelölést M0 úgynevezett halott ez a jelölés. Mo címkézés ebben az esetben az úgynevezett tj - egy zsákutcában. Ha a jelölés tj - zsákutca minden j = l. m, akkor az úgynevezett a holtpont. Amikor egy holtpont jelölés nem működik műszak. Jelölések a fa egy zsákutca címkézés lapot.

Az átmenet az úgynevezett stabil, ha nincs más átmenet nem foszthatja meg a munka lehetőségét jelenlétében az ehhez szükséges feltételeket.

Posledovatelnostmarkirovok M0, M1. Mp. ahol M k + 1 = # 948, a), k = 0,1. p meghatározza egy gyűrű, ha M0 = Mp. Mindegyik megfelel szavak sorozatát tsisklu szabad Petri háló nyelvet.