Wykłady:
- Wprowadzenie, sieci elementarne i ogólne, modele równoważne, problemy decyzyjne
- notatki z wykładu
- J. Engelfriet, G. Rozenberg, Elementary Net Systems, rozdz. 3 (rozdz. 1 Lectures on Petri Nets I: Basic Models)
- J. Desel, W.Reisig, Place/Transition Petri Nets, rozdz. 1-3 (rozdz. 2 Lectures on Petri Nets I: Basic Models)
- Sieci elementarne: współbieżność, zależność i konflikt; konfuzje; rekonstrukcja z automatu skończonego
- notatki z wykładu
- J. Engelfriet, G. Rozenberg, Elementary Net Systems, rozdz. 3
- J. Desel, W. Reisig, The synthesis problem of Petri nets, rozdz. 1-5
- Ślady Mazurkiewicza - języki częściowo przemienne, regularne języki śladów
- notatki z wykładu
- A. Mazurkiewicz, Introduction to Trace Theory
- Automaty asynchroniczne rozpoznają regularne języki śladów
- notatki z wykładu
- M. Mukund, Automata on Distributed Alphabets
- V. Diekert, A. Muscholl, Construction of asynchronous automata, rozdz. 8.2
- Analiza algorytmiczna sieci Petriego: drzewa pokrycia, uniwersalna granica dolna
- notatki z wykładu
- J. Desel, W.Reisig, Place/Transition Petri Nets, rozdz. 4
- J. Esparza, Decidability and complexity of Petri net problems — an introduction, część II, rozdz. 7
- Problem osiągalności - rozstrzygalność
- notatki z wykładu
- S. Lasota, VASS reachability in three steps
- S. Kosaraju, Decidability of Reachability in vector addition systems
- Analiza przybliżona: niezmienniki, osiągalność ciągła
- notatki z wykładu
- J. Esparza, Free Choice Petri Nets, rozdz. 2
- E. Fraca, S. Haddad, Complexity Analysis of Continuous Petri Nets
- Podklasy sieci Petriego: sieci wolnego wyboru
- notatki z wykładu
- J. Esparza, Free Choice Petri Nets, rozdz. 3-4
- Algebra procesów (Calculus of Communicating Systems, CCS) - składnia i semantyka
- notatki z wykładu
- R. Milner, Communication and Concurrency, rozdz. 2,3
- Notatki z wykładu Wybrane zagadnienia teorii procesów współbieżnych, rozdz. 2,3
- Równoważność bisymulacyjna
- notatki z wykładu
- R. Milner, Communication and Concurrency, rozdz. 4
- Lecture notes Wybrane zagadnienia teorii procesów współbieżnych, rozdz. 4
- Równoważność obserwacyjna
- notatki z wykładu
- R. Milner, Communication and Concurrency, rozdz. 5, 7
- Lecture notes Wybrane zagadnienia teorii procesów współbieżnych, rozdz. 5, 6
- Gra bisymulacyjna, koindukcja
- notatki z wykładu
- R. Milner, Communication and Concurrency, rozdz. 4
- Lecture notes Wybrane zagadnienia teorii procesów współbieżnych, rozdz. 4, 8
- Bisymulacja a logika
- notatki z wykładu
- R. Milner, Communication and Concurrency, rozdz. 10
- Lecture notes Wybrane zagadnienia teorii procesów współbieżnych, rozdz. 8
- C. Stirling, Bisimulation and logic
- Granice rozstrzygalności
- notatki z wykładu
- Lecture notes Wybrane zagadnienia teorii procesów współbieżnych, rozdz. 7
- Bergstra, J., Ponse, A., Smolka, S. (ed.), Handbook of Process Algebra, sect. 9
- P. Jancar, Undecidability of bisimilarity for Petri nets and some related problems