Блюмин, С. Л. Автоматы и сети Петри [Электронный ресурс] : учебное пособие / Блюмин С. Л. - Липецк : Липецкий государственный технический университет, ЭБС АСВ, 2012. - 83 с. - ISBN 978-5-88247-540-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): автомат петри -- математическое моделирование -- метрология -- прикладная математика -- сеть петри -- управление качеством -- учебное пособие Аннотация: Настоящее учебное пособие предназначено для организации самостоятельной работы студентов по дисциплине «Математическое моделирование», обучающихся по специальностям «Прикладная математика», «Управление качеством», «Метрология, стандартизация и сертификация». В пособие включены необходимые теоретические сведения и формулы, примеры, задания для лабораторных работ. Доп.точки доступа: Жбанова, Н. Ю. Свободных экз. нет |
Теория вычислительных процессов. Часть 2. Теория сетей Петри и моделирование систем [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2010 - .Теория вычислительных процессов. Часть 2. Теория сетей Петри и моделирование систем / Веретельникова Е. Л. - 2010. - 61 с. - ISBN 978-5-7782-1340-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): вычислительный процесс -- сеть Петри -- моделирование Аннотация: Приведены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Пособие подразделено на темы, в рамках каждой из которых предложены теоретический материал, проиллюстрированный примерами, а также упражнения для самостоятельной работы. Пособие адресовано студентам, изучающим теорию вычислительных процессов. Свободных экз. нет |
Самойлова, Е. М. Основы CALS-технологий [Электронный ресурс] : учебное пособие / Самойлова Е. М. - Саратов : Ай Пи Ар Медиа, 2019. - 127 с. - ISBN 978-5-4497-0225-8 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): cals-технология -- автоматизация -- жизненный цикл -- информационная безопасность -- промышленное изделие -- сеть петри Аннотация: В учебном пособии рассмотрены основы CALS-технологий и основные задачи, решаемые при автоматизации управления жизненным циклом продукции. Соответствует требованиям, предъявляемым Федеральными государственными образовательными стандартами высшего образования к изучению дисциплин «Основы CALS-технологий», «Автоматизация управления жизненным циклом продукции». Для студентов, обучающихся по направлениям подготовки 15.03.04, 15.04.04 «Автоматизация технологических процессов и производств», 15.03.06, 15.04.06 «Мехатроника и робототехника». Учебное пособие также может быть использовано аспирантами в исследованиях, связанных с управлением жизненным циклом продукции и CALS-технологиями. Свободных экз. нет |
Веретельникова, Е. Л. Теоретическая информатика. Теория сетей Петри и моделирование систем [Электронный ресурс] : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2018. - 82 с. - ISBN 978-5-7782-3559-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): дерево достижимости -- конечный автомат -- маркированная сеть -- матричное уравнение -- моделирование системы -- мультиграф -- сеть петри -- теоретическая информатика Аннотация: В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким образом, чтобы на аудиторном занятии изучались соответственно две-три темы. В рамках каждой темы предлагаемый теоретический материал иллюстрируется примерами, а затем предлагаются упражнения для самостоятельной работы. Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем. Свободных экз. нет |