Поисковый запрос: <.>R=50.07.03$<.> |
Общее количество найденных документов : 663
Показаны документы с 1 по 10 |
|
1. 
| Сидорова Н.С.
Бисимуляционно-эквивалентные преобразования сетей Петри. - Ярославль. - 1998. - 51 с.: ил. -(Препринт; N1). - На рус.яз. - Российская Федерация. - Тираж 100 экз.
ГРНТИ: 50.07.03
УДК: 681.3.019(04)
Предметные рубрики: Петри сети
Аннотация: Рассмотрен класс преобразований сетей Петри, направленных на уменьшение размера сети и сохраняющих ее поведение в смысле бисимулярности, приведенные в работе алгоритмы проведения преобразований имеют полиномиальную сложность и позволяют значительно сократить суммарное время решения таких проблем достижимости в сетях Петри, при проведении "model-checking".
Держатели документа:
|
2.
| Козюра В.Е.
Unfoldings of timed coloured petri nets. - Novosibirsk. - 2000. - 32 p.: il. -(Препринт; 82). - На англ.яз. - Российская Федерация. - Перед загл. авт.: V. E. Kozura. - Тираж 50 экз.
ГРНТИ: 50.07.03
УДК: 004:519.179.2(04)
Предметные рубрики: Петри сети
Перевод заглавия: Unfolding of timed coloured Petri nets
Аннотация: В данной работе метод развертки применяется к РСП с интервальным временем и к РСП со временем, описанным в работах Йенсена. На РСП накладываются ограничения конечности, n-безопасности и конечности множеств, представляющих цвета
Держатели документа:
|
3.
| Козюра В.Е.
Unfoldings of coloured Petri nets. - Novosibirsk. - 2000. - 34 p.: il. -(Препринт; 80(2000)). - На англ.яз. - Российская Федерация. - Перед загл. авт.: V.E.Kozura. - Тираж 50 экз.
ГРНТИ: 50.07.03
УДК: 004:519.179.2(04)
Предметные рубрики: Петри сети
Перевод заглавия: Unfoldings of coloured Petri nets
Аннотация: В данной работе метод развертки применен к раскрашенным сетям Петри. Метод формально описан, приведены два алгоритма и три критерия финитизации. Также показано как применять метод развертки, используя спецификации симметрии или эквивалентности. На РСП накладываются ограничения конечности, n-безопасности и конечности множеств, представляющих цвета
Держатели документа:
|
4.
| Желтов В.П.
Стохастическая оптимизация расписания на сетях Петри
Димитриев А.П. - Чебоксары. - 2001. - 213 с.: ил. - На рус.яз. - Российская Федерация. - В надзаг.: Чуваш. гос. ун-т им. И. Н. Ульянова. . - ISBN 5-7677-0528-3. - Тираж 100 экз.
ГРНТИ: 50.07.03
УДК: 004:519.179.2
Предметные рубрики: Петри сети
Держатели документа:
|
5.
| Козюра В.Е.
Верификация раскрашенных сетей Петри методом проверки моделей
Непомнящий В.А., Новиков Р.М. - Новосибирск. - 2001. - 24 с.: ил. -(Препринт; 89). - На рус.яз. - Российская Федерация. - Тираж 50 экз.
ГРНТИ: 50.07.03
УДК: 004:519.179.2(04)
Предметные рубрики: Петри сети
Перевод заглавия: Verification of coloured Petri nets by means check-up of models
Аннотация: Для раскрашенных сетей Петри, ограниченных системами с конечным числом состояний, свойства которых представлены в мю-исчислении, разработана и реализована система верификации PNV (Petri net verifier), базирующаяся на методе проверки моделей. Наряду с описание системы PNV в работе представлены эксперименты по верификации раскрашенных сетей Петри, моделирующих битовый и кольцевой коммуникационные протоколы
Держатели документа:
|
6.
| Козюра В.Е.
Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток. - Новосибирск. - 2002. - 44 с.: ил. -(Препринт; 94(2002)). - На рус.яз. - Российская Федерация. - Тираж 50 экз.
ГРНТИ: 50.07.03
УДК: 004:519.179.2(04)
Предметные рубрики: Петри сети
Перевод заглавия: Implementation of the model checking algorithm for coloured Petri nets based on net unfoldings
Аннотация: В работе описывается реализация метода проверки моделей раскрашенных сетей Петри с применением разверток. Описанная система проверки моделей является прототипной реализацией и требует выполнения некоторых операций вручную. Основной задачей описанной в работе реализации было показать приниципиальную возможность использования данного метода на практике и дать несколько примеров верификации моделей распределенных систем. В качестве примеров были рассмотрены: РСП, представляющая задачу об обедающих философах, РСП, описывающая модель однобитового коммуникационного протокола, и РСП, представляющая модель коммуникационного протокола "Отправитель-Получатель". Данные примеры были верифицированы для свойств "прогреccа" и "безопасности"
Держатели документа:
|
7.
| Ломазова И.А.
Сети Петри и анализ поведенческих свойств распределенных систем: Учеб. пособие. - Ярославль. - 2002. - 162 с.: ил. - На рус.яз. - Российская Федерация. - В надзаг.: Яросл. гос. ун-т им. П.Г. Демидова. - ISBN 5-8397-0218-8. - Тираж 100 экз.
ГРНТИ: 50.07.03
УДК: 004:519.179.2
Предметные рубрики: Петри сети
Держатели документа:
|
8.
|
Computer data analysis and modeling: Robustness and computer intensive methods: Proc.of the 6th Intern.conf., (Sept. 10-14, Minsk): Vol.1: A-K
Bel. State Univ. etc;Ed.by S.Aivazian et al. - Minsk. - 2001. - 259 c: ил. - На англ.яз. - Беларусь. - Библиогр. в конце ст. - ISBN 985-445-489-4985-445-490-8
ГРНТИ: 27.43.17; 50.07.03
УДК: 519.24
Перевод заглавия: Анализ и моделирование данных с использованием ЭВМ. Робастность и компьютерные интенсивные матоды. Труды 6-й межд.конф. Минск. Т.1: А-К
Ключевые слова:
моделирование данных
Держатели документа:
|
9.
|
Computer data analysis and modeling: Robustness and computer intensive methods: Proc.of the 6th Intern.conf., (Sept. 10-14, Minsk): Vol.2: K-S. - Minsk. - 2001. - 260 c: ил. - На англ.яз. - Беларусь. - Библиогр. в конце ст. - ISBN 985-445-491-6
ГРНТИ: 27.43.17; 50.07.03
УДК: 519.24
Перевод заглавия: Анализ и моделирование данных с использованием ЭВМ. Робастность и компьютерные интенсивные матоды. Труды 6-й межд.конф. Минск. Т.2: К-S
Ключевые слова:
моделирование данных
Держатели документа:
|
10.
|
Computer data analysis and modeling: Robustness and computer intensive methods: Proc.of the 6th Intern.conf., (Sept. 10-14, Minsk): Vol.3: A-Z. - Minsk. - 2001. - 245 c: ил. - На англ.яз. - Беларусь. - Библиогр. в конце ст. - ISBN 985-445-492-4
ГРНТИ: 27.43.17; 50.07.03
УДК: 519.24
Перевод заглавия: Анализ и моделирование данных с использованием ЭВМ. Робастность и компьютерные интенсивные матоды. Труды 6-й межд.конф. Минск. Т.3: А-Z
Ключевые слова:
моделирование данных
Держатели документа:
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных