Petri nets in software engineering

Licencjat ma za zadanie pokazać czym są sieci Petriego i wprowadzić w ich zastosowania w inżynierii oprogramowania. Na początku pracy znajduje się zbiór definicji i przykładów potrzebnych do zrozumienia działania grafów, sieci i sieci Petriego. Później pokazane są przykłady zastosowań z życia codziennego, a w końcu w inżynierii oprogramowania.[1] Marcin Szpyrka, “Inżynieria oprogramowania – Sieci Petriego w modelowaniu i analizie systemów współbieżnych” Warszawa 2008 [2] Zurawski R., Zhou MengChu, “Petri Nets and Industrial Applications: A tutorial, IEEE Transactions on Industrial Electronics, Vol. 41, No. 6”, 1994. [3] Tomasz Koszlajda, Analiza sieci Petriego, Poznań 2012 http://sirius.cs.put.poznan.pl/~inf89721/MiAPB/ [4] Pere Bonet, Catalina M. Llado, Ramon Puigjaner, PIPE v2.5: a Petri Net Tool for Performance ModelingProgram pipe2 [5] Wolfgang Reisig “Sieci Petriego” Warszawa 1988

The bachelor's task is to show what Petri nets are and show their utility in software engineering. At the beginning, there is a set of definitions and examples needed to understand how graphs, networks and Petri networks work. Next, the thesis includes examples of applications from everyday life and finally in software engineering. [1] Marcin Szpyrka, “Inżynieria oprogramowania – Sieci Petriego w modelowaniu i analizie systemów współbieżnych” Warszawa 2008 [2] Zurawski R., Zhou MengChu, “Petri Nets and Industrial Applications: A tutorial, IEEE Transactions on Industrial Electronics, Vol. 41, No. 6”, 1994. [3] Tomasz Koszlajda, Analiza sieci Petriego, Poznań 2012 http://sirius.cs.put.poznan.pl/~inf89721/MiAPB/ [4] Pere Bonet, Catalina M. Llado, Ramon Puigjaner, PIPE v2.5: a Petri Net Tool for Performance ModelingProgram pipe2 [5] Wolfgang Reisig “Sieci Petriego” Warszawa 1988