Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Оценочные средства для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины и учебно-методическое обеспечение самостоятельной работы студентов ⇐ ПредыдущаяСтр 2 из 2 В качестве зачета по дисциплине принимается готовая работа, дневник практики и отчет.
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/
|