Pitanje br. 7305
|
Pitanje: |
Alati za modeliranje, sintezu i analizu transportnih protokola (specifične primjene petrijevih mreža na transportne protokole)
|
|
Odgovor: |
Knjige: - 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: - Bosilj Vukšić, Vesna: Petrijeve mreže u modeliranju infromacijskih sustava // Ekonomski analitičar. - (1995), 11 ; str. 3-10
- 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): - Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE , vol.77, no.4, pp.541,580, Apr 1989
- 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
- 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.
- 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.
- 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: - Murata, T. : Petri nets: Properties, analysis and applications // Proceedings of the IEEE. 77 , Issue: 4 ; Page(s): 541 - 580
Google Books: - Claude Girault; Rüdiger Valk: Petri nets for systems engineering : a guide to modeling, verification and applications Berlin [u.a.] : Springer, 2003.
- Michel Diaz: Petri Nets : Fundamental Models, Verification and Applications. Hoboken : John Wiley & Sons, 2009.
- 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.): - ETF Osijek: Petrijeva mreža
- Petrijeve mreže
|
|
UDK pojmovi: |
004 Računarstvo i internet, Elektrika & Elektronika |
|
Predmetnice: |
Komunikacijske tehnologije |
|
|
|