Petrijeva mreža

Sa Wikipedije, slobodne enciklopedije
Idi na: navigacija, traži
Wiki letter w.svg Ovaj članak je siroče zato što nema ili vrlo malo ima drugih članaka koji linkuju ovamo.
Molimo Vas da postavite linkove prema ovoj stranici sa srodnih članaka.
Animacija Petrijeve mreže

Petrijeva mreža (na engl. Petri net, također poznata kao "place/transition net" ili "P/T net") jeste jedna od nekoliko matematičkih jezika za modeliranje sistema za obradu podataka karakterizirani kao istovremeni, asinhroni, distribuirani, nedeterministički, i/ili stohastički.[1] Petrijeva mreža je usmjereni bipartitni graf u kojem čvorovi opisuju prijelaze (engl. transitions - događaji koji se mogu desiti, označeno pravougaonicima) i mjesta (engl. places - uslovi, označeno krugovima). Usmjerene grane opisuju koja su mjesta pred- i/ili poslijeuslov za dešavanje prijelaza. Neki izvori[2] govore da je Petrijeve mreže izumio Carl Adam Petri u augustu 1939. kada je imao samo 13 godina za opisivanje hemijskih procesa.

Također pogledajte[uredi | uredi izvor]

Literatura[uredi | uredi izvor]

  • (en) Cardoso, Janette; Heloisa Camargo (1999). Fuzziness in Petri Nets, Physica-Verlag ISBN 3-7908-1158-0.
  • (en) Jensen, Kurt (1997). Coloured Petri Nets, Springer Verlag ISBN 3-540-62867-3.
  • (ru) Котов, Вадим (1984). Сети Петри (Petri Nets, in Russian), Наука, Москва.
  • (hu) Pataricza, András (2004). Formális módszerek az informatikában (Formal methods in informatics), TYPOTEX Kiadó ISBN 963-9548-08-1.
  • (en) (1977) "Petri Nets". ACM Computing Surveys 9 (3): 223–252.
  • (en) Petri, Carl A. (1962). "Kommunikation mit Automaten".
  • (en) Reisig, Wolfgang (1992). A Primer in Petri Net Design, Springer-Verlag ISBN 3-540-52044-9.
  • (en) Riemann, Robert-Christoph (1999). Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus, Herbert Utz Verlag ISBN 3-89675-629-X.
  • (en) Störrle, Harald (2000). Models of Software Architecture - Design and Analysis with UML and Petri-Nets, Books on Demand ISBN 3-8311-1330-0. Sa dozvolom autora, slobodno dostupno na ovdje.
  • (en) Zhou, Mengchu; Frank Dicesare (1993). Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers ISBN 0-7923-9289-2.
  • (en) Zhou, Mengchu; Kurapati Venkatesh (1998). Modeling, Simulation, & Control of Flexible Manufacturing Systems: A Petri Net Approach, World Scientific Publishing ISBN 981-02-3029-X.

Reference[uredi | uredi izvor]

  1. ^ Petri nets: Properties, analysis and applications, Tadao Murata, Proceedings of the IEEE, 1989.
  2. ^ Carl Adam Petri and Wolfgang Reisig (2008) Petri net. Scholarpedia, 3(4):6477 [1]

Vanjski linkovi[uredi | uredi izvor]

Commons logo
U Wikimedijinom spremniku se nalazi još materijala vezanih uz:
  • (bs) Petrijeve mreže, Jasmin Velagić, Elektrotehnički fakultet Sarajevo. Učitano 13. aprila 2013.
  • (en) Petrijeva mreža, na scholarpedia.org. Učitano 13. aprila 2013.


Video-display.svg Nedovršeni članak Petrijeva mreža koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima Wikipedije.