Modell token
Párhuzamos algoritmusmodellek
További Petri-háló modellek Az eddig felsorolt Petri-hálók kifejezőereje kisebb, mint a Turing-gépeké, vagyis matematikailag adekvátan leírt rendszerek modell token is van, melyet nem tudunk ezekkel a Petri-hálókkal modellezni csak szemilineáris, vagyis a Presburger aritmetikával leírható halmazokkal leírható rendszerek modellezhetőek.
Tulajdonképpen az eddigi rendszerek hiánya az, hogy nem tudnak zérótesztet végezni, vagyis nem lehet velük úgy engedélyezetté tenni egy tranzíciót, azzal, hogy egy helyen éppen nincs token. Ha ezt el tudjuk érni, akkor könnyen tudunk két-számláló automatát szimulálni, ami Turing ekvivalens. Sajnos a kifejezőerő ilyen irányú növelése azt a kötelező érvényű tényt is maga után vonja, hogy a legtöbb fontos probléma, ami ezen hálók általános vizsgálatához tartozik, általános esetben eldönthetetlenné válik.
A továbbiakban először az említett kiterjesztett rendszereket vesszük sorra, röviden. Színezett Petri-hálók Az eddig ismertetett hálókban a tokenek egyformák voltak mint az elektronok a fizikában. Kézenfekvőnek tűnik a Petri-hálók olyan általánosítása, amelyben többféle tokent is használhatunk.
A grafikai szemléltetésben a tokeneket színekkel a legkönnyebb megkülönböztetnünk, innen a névadás. A színezett Petri-hálókban tehát a tokenek adatokat modell token vagyis színük vanez az érték módosulhat a tranzíciók tüzelése közben. A tranzíciók feltételeit őrszemekkel írhatjuk le, felhasználva az aktuális tokenek értékeit is.
This tutorial builds on Tutorial: Refining materials, lighting, and effects. A tartalom biztonságossá tétele az Azure Blob StoragebanSecuring your content in Azure Blob Storage Az Azure-alapú távoli renderelés a megfelelő konfigurációval biztonságosan fér hozzá az Azure-Blob Storage tartalmához. Azure Remote Rendering can securely access the contents of your Azure Blob Storage with the correct configuration.
A színezett Petri-hálók kifejezőereje megegyezik a Turing-gépek kifejezőerejével. Vannak olyan rendszerek is, ahol a tokeneknek egyedi azonosítóik is lehetnek, így a ,színek modell token akár nem korlátos is lehet. Tiltó élek a Petri-hálókban Amint korábban említettük, a bináris hálókban explicite az utódhelyek üressége is kellett ahhoz, hogy egy tranzíció engedélyezett legyen.
Ez a feltétel a hely-tranzíció hálókban eltűnt.
A gyakorlatban, illetve sok modellezési feladatban viszont modell token lép fel, hogy egyes feltételek bekövetkezésekor valamilyen esemény ne játszódhasson le. A tiltó élek segítségével tudunk ilyen ellenőrzést elvégezni az olyan hálókban, amikben ilyen speciális eszközt is felhasználunk. A tiltó élek olyan speciális élek, amik pont akkor jelentenek megengedő feltételt az adott őshelyről, ha azon nincsen elegendő számú token.
Ennek megfelelően egy tranzíció, amihez tiltó él is vezet, modell token akkor engedélyezett, ha minden hozzá vezető hagyományos élen legfeljebb akkora súly található, mint ahány token az adott őshelyen található, és a hozzá vezető minden tiltóélre teljesül az, hogy azon a helyen, ahonnan a tiltó él indul, a tokenek száma nem éri el az adott tiltó él súlyát.
Sok esetben elegendő egységnyi súlyú tiltóélek használata.
A tiltóélek segítségével könnyen adhatunk prioritásokat is egyes tranzícióknak másokkal szemben. A tiltó élek segítségével a zérótesztet direktben tudjuk elvégezni, ezzel Turing-teljessé téve a Petri-hálónkat.
Időzítéses Petri-hálók Az időzítéses Petri-hálókban explicite adunk időt a rendszerhez azzal, hogy a tranzíciók tüzelését időben nem pontszerűen kezeljük. Számos alkalmazásban használható, elsődlegesen pl.
Navigációs menü
Az időzítéses Petri-hálók kifejező ereje is megegyezik a Turing-gépek kifejező erejével. Prioritásos Petri-hálók A Petri-háló nemdeterminisztikus működését lehet korlátozni a tranzíciókhoz rendelt prioritási relációk segítségével.
Egy prioritásos Petri-hálóban egy alacsonyabb prioritású tranzíció nem tüzelhet mindaddig, amíg van engedélyezett magasabb prioritású tranzíció.
Az azonos prioritással rendelkező, engedélyezett tranzíciók közül továbbra is nemdeterminisztikus módon kerül kiválasztásra az, amelyik tüzelni fog.
A prioritási reláció nemcsak a megvalósuló tüzelési sorozatokon belül köti meg az egyes tranzíciók tüzelésének sorrendjét, hanem egyes opció árazási program lehetetlenné is tehet.
A prioritásos Petri-hálók is Turing-ekvivalensek.
- Элвин не спрашивал, откуда Хилвару это известно, предполагая, что он быстро связался в уме с кем-то из друзей вдали отсюда, и безмолвно воспринял необходимую информацию.
- Párhuzamos algoritmusmodellek | Digitális Tankönyvtár
- Domain-specifikus modellezési nyelvek automatikus transzformációi
- Элвин предвкушал свою свободу уже .
Egyéb Petri-háló változatok A hagyományos Petri-hálóknak sok más kiterjesztése is ismert. Ebben a részben néhány ilyenről szólunk még röviden, a teljesség igénye nélkül. Ilyen rendszerek modell token.
Nullázó hálók A reset hálókban speciális nullázó élek vannak. Amikor egy olyan tranzíció tüzel, amelynek valamely kimenő éle ilyen nullázó él, akkor azon a helyen, ahová ez a reset él vezet, a tokenek száma lenullázódik.
Token-Ring – Wikipédia
Transzfer hálók A transzfer hálókban speciális transzfer élek vannak értelmezve, amelyek egy helytől egy tranzíción át egy másik helyre vezetnek. Amikor egy ilyen transzfer élen levő tranzíció tüzel, akkor először eltávolítjuk azokat a tokeneket, amik engedélyezetté tették a tranzíciót.
Ezután az összes további tokent átszállítjuk a tranzíció őshelyéről a tranzíció utódhelyére, és végül a szokásos módon a tranzíció kimeneti tokenjeit is odatesszük az utódhelyre. Duális hálók Helyek és tranzíciók azonos szerepben történő globális kezelésével jutunk el az ún. Az ilyen rendszerek megengedik a statikus és a dinamikus viselkedések egyforma modell token vizsgálatát. A rendszert tekinthetjük úgy is, hogy nem jól meghatározott állapotokból fejlődik más modell token a tranzíciók tüzelése során, hanem megadott tranzíciók tüzelése során valamilyen állapotokon keresztül kerülnek újabb tranzíciók a ,tüzelés állapotába'' tüzelnek.
Hierarchikus hálók A hierarchikus Petri-hálókban a rendszer hierarchikusan épül fel, pl. Erre mutatunk egy egyszerű példát, hiszen a modellezés során ez egy jól használható technika. A Modell token segítségével hierarchikusan is tudunk modellezni, ahogy a következő példa is mutatja az 5. Modell token, folytonos, hibrid, fuzzy és OO Petri-hálók A sztochasztikus Petri-hálókban — az időzített Petri-hálókhoz hasonlóan — a tranzíciók tüzeléséhez idő szükséges, de azt nem determinisztikusan, hanem valószínűségekkel adjuk meg.
Tartalomjegyzék
Az ilyen hálók a Markov-folyamatokkal is szoros kapcsolatba hozhatók és vizsgálhatók. Vannak folytonos, illetve hibrid Petri-hálók is, amik pl. A fuzzy elmélet és a Petri-hálók ötvözésével jutunk el a fuzzy Petri-hálókhoz, ahol pl.
Az objektum orientált programozási filozófia elterjedésével megjelentek OO Petri-hálók is, amik osztályokba rendezett Petri-hálókból állnak. Minden osztályban egy ún. Petri-háló nyelvek Modell token segítségével formális nyelveket is definiálhatunk, illetve a háló működését formális nyelvekkel is leírhatjuk.
Ekkor a tranzíciók halmaza, mint ábécé felett egy tüzelési sorozat egy szónak felel modell token. Másik, és kicsit általánosabb lehetőség, ha expliciten megmondjuk, hogy melyik tranzíció melyik betűnek felel meg. Az adott kiindulási token-eloszlásból induló összes lehetséges tüzelési sorozat így egy formális nyelvet határoz meg.
Wurm settlement token | 3D Warehouse
A Petri-hálók nyelvei közeli rokonságban modell token a kommutációkkal, nyilvánvaló a kapcsolat a nyomokkal és a nyomnyelvekkel is. Szokás megadni egy elérendő token-eloszlást. Ez esetben a definiált nyelv csak azon tüzelési sorozatokhoz tartozó szavakat tartalmazza, amik a megadott token-eloszlással, mint végállapottal fejeződnek be.
Az így definiált nyelvosztály zárt az unió, metszet és konkatenáció műveletekre.
Hasonlóan definiálhatunk úgy is egy formális nyelvet, hogy a végállapotban a token-eloszlás fedje az előre meghatározottat. Ugyancsak egy lehetséges definíció, ha olyan tüzelési sorozatokat tekintünk, amelyek nem folytathatóak modell token olyan token-eloszlást kapunk, amiben nincs engedélyezett tranzíció.
A hely-tranzíció Petri-hálókkal definiált nyelvek osztálya tartalmaz minden reguláris nyelvet, és csak környezetfüggő nyelveket tartalmaz. A környezetfüggetlen nyelvek halmazával viszont a halmazelméleti tartalmazás relációt tekintve nem összemérhető.
Megengedve, hogy egy helyen több token is legyen egyszerre, nagyon könnyen tudunk számlálóként modell token helyeket, amik segítségével akár nem környezetfüggetlen nyelvek is egyszerűen definiálhatók. Viszont nem minden környezetfüggetlen nyelvet tudunk így definiálni. Itt jegyezzük meg, hogy a BPP hálók szoros kapcsolatban állnak a környezetfüggetlen nyelvtanokkal, illetve az alapvető párhuzamos folyamatokkal basic parallel process.
Áttekintés[ szerkesztés ] Egy Token-Ring LAN-on az állomások logikailag gyűrűtopológiát alkotnak, az adatokat sorosan küldi egy állomás a körbe a gyűrűn a következő állomásnak, egy vezérjellel együtt ezt a vezérjelet nevezik angolul token nek. Token-Ring hálózat Fizikailag a Token-Ring hálózat valójában egy csillag hálózat'hub'-bal, amihez az állomások egy oda-vissza vezető hurokkal csatlakoznak. A Token Ring keretei végighaladnak a teljes gyűrűn.
Ha nem különböztetjük meg a tokeneket egy nyelvtan modellezése során, akkor az ún. Speciális színezett Petri-hálókkal Chomsy-féle nyelvtanokat is modellezhetünk.
