Оценочные средства для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины и учебно-методическое обеспечение самостоятельной работы студентов

В качестве зачета по дисциплине принимается готовая работа, дневник практики и отчет.

7. Учебно-методическое и информационное обеспечение дисциплины учебная практика по разработке баз данных

а) основная литература:

1. Ломазова И. А. Вложенные сети Петри:моделирование и анализ распределенных систем с объектной структурой. / И. А.Ломазова - М.: Научный мир, 2004. - 207с.

2. Башкин В. А. Модели потоков работ: метод. указания. / В. А. Башкин; Яросл. гос. ун-т им. П. Г. Демидова, Науч.-метод. совет ун-та - Ярославль: Б.и., 2009. - 42 с.

б) дополнительная литература:

1. Котов В.Е. Сети Петри. - М.: Наука. 1984.

2. Ломазова И.А. Сети Петри и анализ поведенческих свойств распределенных систем. - Ярославль: ЯрГУ, 2002.

3. Питерсон Дж. Сети Петри и моделирование систем. - М.: Мир. 1984.

4. ван дер Аалст В., ван Хей К. Управление потоками работ. – М.: Физматлит. 2007.

5. Ачасова С.М., Бандман О.Л. Корректность параллельных вычислительных процессов. Новосибирск: Наука, 1990.

6. Jantzen M. Language Theory of Petri Nets // Lecture Notes in Computer Science. 1987. V.254.

7. Jancar P., Moller F. Techniques for decidability and undecidability of bisimilarity // Lecture Notes in Computer Science. 1999. V.1664.

8. Jensen K. Coloured Petri nets. Vol. 1. - EATCS Monographs on TCS, Springer-Verlag, 1994.

9. Milner R. Communication and Concurrency. Prentice Hall. 1989.

10. Minsky M. Computation: Finite and Infinite Machines. Prentice Hall. 1967.

11. Petri C.A. Kommunikation mit Automaten. PhD theses. Bonn: Institute fur Instrumentelle Mathematik. 1962.

12. Reisig W. Petri nets. Springer-Verlag. 1985.

13. Petri Net Community http://www.daimi.au.dk/PetriNets

14. Горбунов О.Е. Моделирование и оптимизация workflow-процессов. // Диссертация на соискание степени кандидата наук. – ЯрГУ, 2006.

15. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods and Systems. // MIT Press, 2002.

16. 5. H. Reijers. Design and Control of Workflow Processes. // Springer-Verlag, 2003.

17. ГОСТ 15.101-98. Порядок выполнения научно-исследовательских работ.

18. ГОСТ 7.32-2001. Отчет о научно-исследовательской работе. Структура и правила оформления.

в) программное обеспечение и Интернет-ресурсы:

1. Petri Net Community http://www.daimi.au.dk/PetriNets

2. CPNTools http://cpntools.org/