Primjena Petrijevih mreža u tehničkim znanostima

Knjige:

1. Petri net // Encyclopedia of computer science. London : Nature publishing group, 2000 - sign. 004(03) /ENC/
2. Lovrek, Ignac: Modeli telekomunikacijskih procesa : teorija i primjena Petrijevih mreža. Zagreb : Školska knjiga, 1997 - sign. 621.3(075.8) /LOV/ m
3. Upravljanje proizvodnjom / Niko Majdandžić... [et al.]. Slavonski Brod : Strojarski fakultet, 2001. - sign. 658.5(075.8) /UPR/

Članci u časopisima:

1. Cvetković, Slavica ; Šimunović, Goran ; Maglić, Leon: Modeliranje logističkog sustava Petrijevim mrežama // Strojarstvo. - 52 (2010), 2
2. Pavlović, Milan ; Arsovski, Slavko ; Arsovski, Zora ; Mirović, Zoran ; Lazić, Miodrag: Metodologija dizajniranja simulacijskih sustava temeljenih na metodi diskretnih događaja u proizvodnom ambijentu // Strojarstvo. - 53 (2011), 2

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

1. Hostettler, Steve; Marechal, Alexis; Linard, Alban; Risoldi, Matteo; Buchs, Didier: High-Level Petri Net Model Checking with AlPiNA. // Fundamenta Informaticae. 2011, Vol. 113 Issue 3/4, p229-264
2. Lee, Jeehyoung; Jeong, In-Jae: A heuristic algorithm to minimise the control places of a Petri net for the control of shared machines. // International Journal of Production Research. Mar2011, Vol. 49 Issue 6, p1713-1730
3. Mejia, Gonzalo; Montoya, Carlos: Scheduling manufacturing systems with blocking: a Petri net approach. // International Journal of Production Research. Nov2009, Vol. 47 Issue 22, p6261-6277
4. Esparza, Javier; Leucker, Martin; Schlund, Maximilian.Learning Workflow Petri Nets. // Fundamenta Informaticae. 2011, Vol. 113 Issue 3/4, p205-228
5. Zhao, Mi; Li, Zhiwu: On deadlock control for a class of generalised Petri net models of flexible manufacturing systems. // International Journal of Production Research. Nov2009, Vol. 47 Issue 21, p6085-6107

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.

Izvori na internetu (06.12.2012.):

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