1 / 19

Petriho s ítě

Petriho s ítě. Pět hladových filozofů The Dining Philosophers problem. A ristoteles. Sokrates. Mao Ce Tung. Leonardo da Vinci. Karl Marx. Co to jsou Petriho sítě?. Je to modelovací nástroj, Grafický i matematický, V hodný pro popis a analýzu diskrétních systémů,

jonah-ashley
Download Presentation

Petriho s ítě

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Petriho sítě

  2. Pět hladových filozofů TheDiningPhilosophersproblem Aristoteles Sokrates Mao Ce Tung Leonardo da Vinci Karl Marx

  3. Co to jsou Petriho sítě? • Je to modelovací nástroj, • Grafický i matematický, • Vhodný pro popis a analýzu diskrétních systémů, • Další využití je popis systémů, které jsou popisovány jako synchronní, asynchronní, distribuované, paralelní, • Existuje velké množství modifikací Petriho sítí, např.: Barevné PS, Hierarchické PS, Objektově orientované PS. My se budeme zajímat jen o základní typ Petriho sítí, ty se někdy označují jako P/T (Place/Transitions) Petriho sítě.

  4. Historie • Autorem Petriho sítí je Carl Adam Petri (12.7.1926 – 2.7.2010). • Byl prvním člověkem který jako první formálně definoval „jazyk“ Petriho sítí. • Základem se stala jeho disertační práce s názvem KommunikationmitAutomaten, z roku 1962 na fakultě Matematiky a Fyziky, Technické Univerzity Darmstadt. • Jeho webová stránka je : http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/petri_eng.html

  5. Základní objekty P/T Petriho sítí • Místa (Places) • Přechody (Transitions) • Hrany (Arcs), směřují • Od místa k přechodu, nebo • Od přechodu k místu

  6. Kapacita místa • Kapacita (Capacity), je hodnota definována pro všechna místa v síti, udává maximální počet Značek (Tokens), které může dané místo obsahovat. Pokud místo nemá explicitně vyjádřené omezení kapacity, považuje se jeho kapacita za neomezenou. 100 Kapacita 100 Kapacita 3 Neomezená kapacita

  7. Váha hran • Váha (Weight), je definována pro všechny hrany v síti, udává násobnost (mohutnost) hrany. Pokud hrana nemá ohodnocení váhy, je její váha rovna jedné. 3 Váha hrany je 3 Váha hrany je 1

  8. Aktivace přechod v Petriho síti Jestliže všechna místa předcházející přechodu obsahují počet značek větší nebo rovný váze hrany spojující místo s přechodem dojde k Aktivaci přechodu

  9. Příklady aktivací přechodů X • Počet značek • ve vstupním místě • P1 < váha hrany • Nelze aktivovat přechod T0

  10. Efektivní konflikt • Chování Petriho sítě po aktivaci přechodu může být nejednoznačné (nedeterministické) • Úkolem Petriho sítí není tento konflikt řešit

  11. Formální definice Petriho sítě Neoznačená Petriho R síť je uspořádaná čtveřice R=(P,T,Pre,Post), kde P = {Pi…..Pm} je konečná množina míst, T = {Ti…..Tn} je konečná množina přechodů Pre je matice velikosti m x n matice obsahující celá nezáporná čísla reprezentující váhy hranjdoucích z míst do přechodů. Post je matice velikosti n x m obsahující celá nezáporná čísla reprezentující váhy hran jdoucích z přechodů do míst. M0 je počáteční značení Petriho sítě. Incidenční matice C je matice C = Post – Pre.

  12. Běh jednoduchého procesu

  13. Modelování chemické reakce 2H2 + O2 2H2O 2 t H2 2 H2O O2 2 t H2 2 H2O O2

  14. Přístup ke kritické sekci

  15. Producent/Konzument(neomezený buffer)

  16. Producent/Konzument(omezený buffer)

  17. Čtenáři/písaři

  18. Řešení problému tří hladových filozofů

  19. Tři paraelní procesy s jedním sdíleným zdrojem

More Related