Idi na sadržaj

Petrijeva mreža

S Wikipedije, slobodne enciklopedije
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 (1999). Fuzziness in Petri Nets. Physica-Verlag. ISBN 3-7908-1158-0. Nepoznati parametar |coauthors= zanemaren (prijedlog zamjene: |author=) (pomoć); CS1 održavanje: nepreporučeni parametar (link)
  • (en) Jensen, Kurt (1997). Coloured Petri Nets. Springer Verlag. ISBN 3-540-62867-3. CS1 održavanje: nepreporučeni parametar (link)
  • (ru) Котов, Вадим (1984). Сети Петри (Petri Nets, in Russian). Наука, Москва. CS1 održavanje: nepreporučeni parametar (link)
  • (hu) Pataricza, András (2004). Formális módszerek az informatikában (Formal methods in informatics). TYPOTEX Kiadó. ISBN 963-9548-08-1. CS1 održavanje: nepreporučeni parametar (link)
  • (en) Peterson, James L. (1977). "Petri Nets". ACM Computing Surveys. 9 (3): 223–252. doi:10.1145/356698.356702.CS1 održavanje: ref=harv (link)
  • (en) Petri, Carl A. (1962). "Kommunikation mit Automaten". Ph. D. Thesis. University of Bonn. journal zahtijeva |journal= (pomoć)
  • (en) Reisig, Wolfgang (1992). A Primer in Petri Net Design. Springer-Verlag. ISBN 3-540-52044-9. CS1 održavanje: nepreporučeni parametar (link)
  • (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. CS1 održavanje: nepreporučeni parametar (link)
  • (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. CS1 održavanje: nepreporučeni parametar (link) Sa dozvolom autora, slobodno dostupno na ovdje.
  • (en) Zhou, Mengchu (1993). Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers. ISBN 0-7923-9289-2. Nepoznati parametar |coauthors= zanemaren (prijedlog zamjene: |author=) (pomoć); CS1 održavanje: nepreporučeni parametar (link)
  • (en) Zhou, Mengchu (1998). Modeling, Simulation, & Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific Publishing. ISBN 981-02-3029-X. Nepoznati parametar |coauthors= zanemaren (prijedlog zamjene: |author=) (pomoć); CS1 održavanje: nepreporučeni parametar (link)

Reference

[uredi | uredi izvor]
  1. ^ Petri nets: Properties, analysis and applications Arhivirano 23. 1. 2013. na Wayback Machine, 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]
  • (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.


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