Моделирование технологических процессов на базе вложенных гибридных сетей Петри
Диссертация
Современный ТП невозможно представить без элементов, осуществляющих операции обслуживания и управления системой.' Элементы обслуживания входят в состав ТП, влияют на него, принимают непосредственное участие' в его. работе. Образованная таким образом система состоит из разнородных компонент, в общем случае представленных сложной комбинацией, дискретных и непрерывных составляющих. ТП с элементами… Читать ещё >
Список литературы
- Alur R., Courcoubetis С, Halbwachs N., Henzinger T.A., Но P.-H., Nicollin X., Olivero A., Sifakis J., Yovine S. The algorithmic analysis of hybrid systems. Theoretical computer science 138, 1995, pp. 3−34.
- Bordbar В., Giacomini L., Holding D. Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. UK, 2000.
- Bulach S., Baur H., Pfleiderer H.-J., Kucerovsky Z. A hardware computing platform for high-level Petri nets. Germany — Canada, 1998.
- Chouikha M., Frey G. Petri net-based descriptions for discrete-continuous systems. Germany, 2000.
- Demongodin I., Giua A. Some time analysis methods for continuous and hybrid Petri nets. Italy, 2002. «
- Doi A., Fujita S., Matsuno H., Nagasaki M., Miyano S. Constructing biological pathway models with hybrid functional Petri nets. Japan, 2004.
- Dotoli M., Fanti M.P., Giua A., Seatzu С First-order hybrid Petri nets. An application to distributed manufacturing systems. Italy, 2006.
- Ghaeli M., Bahri P.A., Lee P.L. Timed arc hybrid Petri net based scheduling of mixed batch/continuous plants. Australia, 2000.
- Ghomri L., Alia D. Modeling and analysis using hybrid Petri nets. Algeria- France, 2005.
- Henzinger Т., Manna Z., Pnueli A. Towards Refining Temporal Specifications into Hybrid Systems. In Hybrid Systems. Germany, 1993.
- Horton G., Kowarschik M. Discrete-continuous modeling using hybrid stochastic Petri nets. Germany, 1997.
- Hummel Т., Fengler W. Design of embedded control systems using hybrid Petri nets. The International workshop on discrete-event Design. Poland, 2001.
- Jones R., Ciardo G. Regenerative simulation of stochastic Petri nets with discrete and continuous timing. USA, 2002.
- Julvez J., Boel R. Modeling and controlling traffic behavior with continuous Petri nets. Spain, 2005.
- Kindler E. High-level Petri nets. Transfer format. University of Paderborn, 2004.
- Lomazova LA. Nested Petri nets — a Formalism for Specification of Multi- Agent Distributed Systems — Proceedings of the Concurrency Specification and Programming (CS&P'99) Workshop. Poland, 1999.
- Lomazova LA. Some Decidability results for nested Petri nets. Russia, 2000.
- Lomazova LA., Нее К., Oanea О. Nested nets for adaptive systems. Netherlands-Russia, 2006.
- Lygeros J. Lecture notes on hybrid systems. Department of electrical and computer engineering university of Patras, 2004.
- Marrangello N. Digital systems synthesis from Petri net descriptions. Brazil, 1998.
- Patterson S., Lennartson B. Hybrid modeling focused on hybrid Petri nets. Sweden, 1996.
- Simic S., Johansson K., Sastry S, Lygeros J. Towards a geometric theory of hybrid systems. Department of electrical engineering and computer sciences university of California at-Bcrkeley, 2000.
- Svadova M., Hanzalek Z. An algorithm for the evolution graph of extended hybrid Petri nets. Czech Republic. 2004.
- Svadova M., Hanzalek Z. Modeling of systems with delays using hybrid Petri nets. Czech Republic, 2003.
- Troncale S., Tahi F., Camperd D., Vannier J.-P. Guespin J. Modeling and simulation with hybrid functional Petri nets of the role of interleukin-6 in human early haematopoiesis. Pacific symposium on biocomputing, 11: 427−438, 2006.
- Tsinarakis G.J., Valavanis K.P. Modular hybrid Petri nets for studying multi-operational production systems where parts follow multiple alternative processes. USA, 2004.
- Баженова И.Ю. Delphi 7. Самоучитель программиста. — M.: Кудиц- образ,'2003.-448с.
- Бенькович Е.С., Колесов Ю. Б., Сениченков Ю. Б. Практическое моделирование динамических систем. — СПб.: БХВ-Петербург, 2002. — 464 с.
- Бесекерский В.А. Цифровые автомагические системы. — М.: Наука, 1976.-576 с.
- Бесекерский В.А., Изранцев В. В. Системы автоматического управления с микро ЭВМ. — М.: Наука, 1987. — 320 с.
- Бесекерский В.А., Попов Е. П. Теория систем автоматического регулирования. — М.: Наука, 1975. — 768с.
- Бусленко Н.П. Моделирование сложных систем. — М.: Наука, 1978. — 400с.
- Быстров А.В. Структурный анализ поведения непрерывно-временных сетей Петри. — Новосибирск: Препринт, 2006. — 33с.
- Быстров И.Р., Лившиц А. Б., Марченко Г. Н., Межерицкий Э. Управление производством пироксилиновых порохов с использованием модифицированных сетей Петри. Россия, 2002.
- Волков О. И., Скляренко В. К. Экономика предприятия. — М.: ИПФРА- М, 2002.-279 с.
- Воронов А.А. Теория автоматического управления. — М.: Высшая школа, 1986.— 367с.
- Выгодский М.Я. Справочник по высшей математике. — М.: Наука, 1966.-870с.
- Глушков В.М. Программное обеспечение моделирования непрерывно- дискретных систем. — М: «Наука», 1975.
- Графическая оболочка AnyLogic. — Режим доступа: http://www.xitek.ru/anylogic/.
- Графическая оболочка Model Vision Studium. — Режим доступа: http://mvw.exponenta.m/soft/Others/mvs/mvs.asp.
- Давыдов Д.В. Методы и модели анализа сетей АСУ с поддержкой качества обслуживания. -Вологда: ВоГТУ, 2007. — 139 с.
- Денисенко В.А. Достижимость одного класса систем с управляемой структурой. // Труды Одесского политехнического университета. — Одесса, 2001.
- Денисенко В.А. Математическая модель системы с управляемой структурой // Тез. докл. 53-й научной конференции. — Одесса: ОТИПП, Ротапринт, 1993.-С. 75.
- Денисенко В. А. Математическое и программное обеспечения определения достижимости гибридных систем. // Труды Одесского политехнического университета. — Одесса, 2003.
- Денисенко В.А. Основные определения дискретно-непрерывных сетей // Труды Одесского политехнического университета. — Одесса, 1997.-Вып. 2. — с. 9−13.
- Денисенко В. А. Программная среда исследования систем с управляемой структурой. // Труды Одесского политехнического университета. -Одесса, 2001.
- Денисенко В.А., Денисенко Т. А., Ляхин В. В., Нестерюк А. Г. Разработка программных средств моделирования систем с управляемой структурой. // Труды Одесского политехнического университета. — Одесса, 1996.
- Доррер А.Г., Доррер Г. А., Рудакова Г. М. Моделирование процесса обучения с помощью вложенных сетей Петри. Россия, 2006.
- Зайцев' Г. Ф., Теория автоматического управления и регулирования. — Киев: Высшая школа, 1988. -432с.
- Изерман Р. Цифровые системы управления. — М.: Мир, 1984. — 541с.
- Калашников В.В. Организация моделирования сложных систем. — М.: Знание, 1982.-62 с.
- Калман Р. Фалб П., Ариб М. Очерки по математической теории систем. — М.: «Мир», 1971.
- Кандауров И.В., Мезенцев Н. А., Пиндюрин В. Ф., Симонов Е. А. Моделирование физических явлений на ЭВМ. Методическое пособие. -Новосибирск: НГУ, 2000. — 55с.
- Кио Б. Теория и проектирование цифровых систем управления. — М.: Машиностроение, 1986.-448с.
- Колесов Ю.Б. Объектно-ориентированное моделирование сложных динамических систем. — СПб.: СПбГПУ, 2004. — 240с.
- Котов В.Е. Сети Петри. М.: Наука, 1984.
- Красовский А.А. Справочник по теории автоматического управления. — М.: Наука, 1987.-712с.
- Крюкова Д.Ю. Системы поддержки принятия решений на базе аппарата сетей Петри// Информационные технологии в проектировании и производстве. — 2008. —. 45−49.
- Культин Н.Б. Основы программирования в Delphi 7. — СПб.: БХВ- Петербург, 2003.-608 с.
- Куо Б. Теория и проектирование цифровых систем управления, перевод с английского. — М.: Машиностроение, 1986. — 446с.
- Кэшу М. Delphi 7: Для профессионалов. — СПб.: Питер, 2004. — 1101 с.
- Ломазова Hi А. Вложенные сети Петри и моделирование распределенных систем // Программные системы: теория и приложения. -Переславль-Залесский, 2004.
- Ломазова И.А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой. — М.: Научный мир, 2004. — 208 с.
- Ломазова И.А. Моделирование мультиагентных динамических систем вложенными сетями Петри // Программные системы: теоретические основы и приложения. — М.: Наука. Физматлит, 1999.
- Ломазова И.А. Моделирование ресурсной зависимости в распределенных системах. Россия, 2004.
- Ломазова И.А. Об одном подходе к моделированию распределенных алгоритмов управления мультиагентными системами // Интеллектуальные системы и управление. —Переславль-Залесский, 1999.
- Ломазова И.А., Башкин В. А. О языках вложенных рекурсивных сетей Петри. Ярославский государственный университет.
- Лычкина Н.Н. Имитационное моделирование экономических процессов. — М.: Академия АйТи, 2005. — 164с.
- Математическое ПО Maple. — Режим доступа: http://soft.softline.ru/program_page details. php?id-39 895.
- Математическое ПО MathCAD. — Режим доступа: http://www.irisoft.ru/mathcad.htral.
- Михайлов B.C. Теория управления. — К.: Высшая школа, 1988. — 312с.
- Многокомпонентная модель Simulink. — Режим доступа: http://www.exponenta.rU/soft/Others/mvs/stud2/3.asp.
- Непомнящий Е: Г. Экономика и управление предприятием- - Таганрог:1 ТРТУ, 1997.-374 с.
- Окунишникова Е.В. Представление временных конструкций Estelle в различных моделях временных сетей Петри. — Новосибирск: Препринт, 1999. — 33с.
- Пакет символических преобразований Maple. — Режим, доступа: http://yvavw.exponenta.ru/sonVMaple/Maple.asp.
- Питерсон Дж. Теория сетей Петри и моделирование систем. — М.: Мир, 1984.-264с.
- Поляков К.Ю. Основы теории цифровых систем управления. — СПб.: СПбГМТУ, 2006.-161с.
- Попов Е.П. Теория линейных систем автоматического регулирования и управления. — М.: Наука, 1989. — 304с.
- Попов Е.П. Теория нелинейных систем автоматического регулирования и управления. — М.: Наука, 1979. — 256 с.
- Самарский А.А., Гулин А. В. Численные методы. — М.: Наука, 1989. — 432с.
- Сениченков Ю.Б. Численное моделирование гибридных систем. — СПб.: Изд-во Политехи, ун-та, 2004. — 206с.
- Скородумов П.В. Анализ, подходов к моделированию дискретно- непрерывных систем // Молодые исследователи — регионам: Материалы всероссийской научной конференции студентов и аспирантов — Вологда: ВоГТУ. -2007.-с. 160−163.
- Скородумов П.В. Моделирование сложных динамических систем на базе расширений сетей Петри // Имитационное моделирование теория и практика (ИММОД 2007): Третья всероссийская научно — практическая конференция — Санкт — Петербург, 2007. — с.230−233.
- Советов Б.Я., Яковлев А. Моделирование систем. — М.: Высшая школа, 1985.-272с.
- Суконщиков А.А., Скородумов П. В. Использование аппарата дискретно-непрерывных сетей Петри для моделирования сложных систем // Вузовская наука региону: Материалы третьей всероссийской НТК — Вологда: ВоГТУ, 2005 г., с 271 — 274.
- Сю Д., Мейер А. Современная теория автоматического управления и ее применение. — М.: Машиностроение, 1972. — 544с.
- Трохин В.М. Цифровые системы автоматического управления. — К.: Техника, 1979. — 160с.
- Тюкин В.Н. Теория управления часть 1. Конспект лекций. — Вологда: ВоГТУ, 2000. — 84с.
- Тюкин В.Н. Теория управления часть 2. Особые линейные и нелинейные системы. Конспект лекций. — Вологда: ВоГТУ, 2000. — 133с.
- Хомоненко А.Д., Юдин А.Д. Delphi7.0. — СПб.: БХВ-Петербург, 2004. — 1200 с.
- Цвиркун А.Д., Акинфиев В. К. Имитационное моделирование в задачах синтеза структуры сложных, систем — М .: Наука, 1985. — 176с.
- Цыпкин ЯЗ. Основы теории автоматических систем. — М.: Наука, 1977.-560с.
- Цыпкин ЯЗ. Релейные автоматические системы. — М.: Наука, 1974. — 576 с.
- Цыпкин ЯЗ. Теория линейных импульсных систем. — М.: Физматгиз, 1963.-968 с.
- Черняховская Л.Р. Моделирование систем. Конспект лекций. — Уфа: УГАТУ, 2007.-81с.
- Эминов Ф.И. Автоматизированное управление. — Режим доступа: http://automation-system.ru/asutp.html.