Alati za modeliranje, sintezu i analizu transportnih protokola (specifične primjene petrijevih mreža na transportne protokole)

Knjige:

1. Lovrek, Ignac: Modeli telekomunikacijskih procesa : teorija i primjena Petrijevih mreža. Zagreb : Školska knjiga, 1997 - sign. 621.3(075.8) /LOV/ m

Članci u časopisima:

1. Bosilj Vukšić, Vesna: Petrijeve mreže u modeliranju infromacijskih sustava // Ekonomski analitičar. - (1995), 11 ; str. 3-10
2. Cvetković, Slavica ; Šimunović, Goran ; Maglić, Leon: Modeliranje logističkog sustava Petrijevim mrežama // Strojarstvo. - 52 (2010), 2

EBSCO Host (pristup u GISKO ili putem CARNet Centra za online baze - Proxy):

1. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE , vol.77, no.4, pp.541,580, Apr 1989
2. Xiaomin, Z., Jianxin, L., & Junliang, C. (2007). Petri net model of protocol conversion for CTF service: its universal coupling criteria and property analysis. International Journal Of Communication Systems, 20(5), 533-551. doi:10.1002/dac.832
3. Billington, J. J., & Bing, H. (2007). Formalising TCP's data transfer service language: a symbolic automaton and its properties. Fundamenta Informaticae, 80(1), 49-74.
4. Yamaguchi, H., Okano, K., Higashino, T., & Taniguchi, K. (1998). Protocol syntheses in a Petri net model with registers and its application. Electronics & Communications In Japan, Part 3: Fundamental Electronic Science, 81(8), 18-26.
5. Sliva, V. P., Murata, T. T., & Shatz, S. M. (1999). Protocol specification design using an object-based Petri net formalism. International Journal Of Software Engineering And Knowledge Engineering, 9(1), 97-125.

Google Scolar:

1. Murata, T. : Petri nets: Properties, analysis and applications // Proceedings of the IEEE. 77 , Issue: 4 ; Page(s): 541 - 580

Google Books:

1. Claude Girault; Rüdiger Valk: Petri nets for systems engineering : a guide to modeling, verification and applications Berlin [u.a.] : Springer, 2003.
2. Michel Diaz: Petri Nets : Fundamental Models, Verification and Applications. Hoboken : John Wiley & Sons, 2009.
3. M Nielsen; D Simpson: Application and theory of petri nets 2000 : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 : proceedings. Berlin ; New York : Springer, ©2000.

Izvori na internetu (14.01.2014.):

1. ETF Osijek: Petrijeva mreža
2. Petrijeve mreže