Descriere curs
- Titular curs: Lect. Dr. Oana Otilia Captarencu
- Nr ore curs/saptamana: 2, Nr ore seminar/saptamana: 2
- Tip : optional
- Continut curs:
- Retele Petri de tip P/T.
- Proprietati si metode de analiza pentru retele de tip P/T .
- Aplicatii ale retelelor de tip P/T
- Retele Petri cu timp (retele Petri cu durate de timp, retele Petri cu intervale de timp).
- Teoria fluxurilor de lucru: retele workflow, proprietati si extensii ale retelelor workflow
- Retele Petri de nivel inalt: Retele Petri Colorate
- Bibliografie
- T.Jucan, F.L.Tiplea: Retetele Petri. Teorie si aplicatii. Editura Academiei Romane, Bucuresti, 1998.
- T. Jucan, F.L.Tilplea: Retele Petri. Editura univ. "Al.I.Cuza", Iasi, 1995.
- T. Murata, "Petri Nets: Properties, Analysis and Applications," Proc. IEEE, vol. 77, no. 4, pages. 541-580, Apr. 1989.
- W. Reisig. Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets, Springer-Verlag, 1998
- K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-60943-1.
- W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2004
- L. Popova. On Time Petri Nets, Journal of Information Processing and Cybernetics, vol. 27, no. 4, 227-244, 1991
- G. Macovei: Time Constraints in Workflow Net Theory (PhD thesis)