Разработка алгоритмического и программного обеспечения распределенной системы управления резинотехническим производством тема диссертации и автореферата по ВАК РФ 05.13.14, кандидат технических наук Коровин, Константин Валерьевич

• Коровин, Константин Валерьевич
• кандидат технических наук
• 2000

Оглавление диссертации кандидат технических наук Коровин, Константин Валерьевич

ВВЕДЕНИЕ.

ГЛАВА 1. АНАЛИЗ МЕТОДОВ И АЛГОРИТМОВ МОДЕЛИРОВАНИЯ И УПРАВЛЕНИЯ РАСПРЕДЕЛЕННЫМИ ТЕХНОЛОГИЧЕСКИМИ

ОБЪЕКТАМИ.

1Л. Методы моделирования распределенных технологических объектов.

1.2. Структурно-функциональный анализ резинотехнического производства как объекта управления.

1.3. Анализ средств программного обеспечения АСУ распределенными производственными системами.

1.4. Цель и задачи исследования.

ГЛАВА 2. СТРУКТУРА И СОСТАВ СИСТЕМЫ УПРАВЛЕНИЯ РЕЗИНОТЕХНИЧЕСКИМ ПРОИЗВОДСТВОМ.

2.1. Структура распределенной системы управления.

2.2. Подсистема управления линией смешения.

2.3. Подсистема управления материальными потоками в транспортной системе.

Выводы.

ГЛАВА 3. АЛГОРИТМИЗАЦИЯ ПРОЦЕССОВ ОБРАБОТКИ ИНФОРМАЦИИ В СИСТЕМЕ УПРАВЛЕНИЯ РЕЗИНОТЕХНИЧЕСКИМ ПРОИЗВОДСТВОМ.

3.1. Формализованное описание процессов функционирования распределенной системы обработки информации и управления.

3.2. Алгоритмы управления аппаратом приготовления резиновых смесей.

3.3. Адаптивный алгоритм высокоточного взвешивания.

Выводы.

ГЛАВА 4. РАСПРЕДЕЛЕННАЯ СИСТЕМА УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМ ПРОЦЕССОМ ПРИГОТОВЛЕНИЯ РЕЗИНОВЫХ СМЕСЕЙ.

4.1. Структура распределенной информационно-управляющей системы приготовления резиновых смесей.

4.2. Структура средств технического обеспечения системы управления.

4.3. Структура программного обеспечения распределенной системы управления.

Выводы.

Введение диссертации (часть автореферата) на тему «Разработка алгоритмического и программного обеспечения распределенной системы управления резинотехническим производством»

АКТУАЛЬНОСТЬ РАБОТЫ. Разработка и модернизация систем оперативного управления является одной из приоритетных задач нашей науки и промышленности, так как направлено на повышение экономической эффективности производства.

Современные системы оперативного управления промышленным производством, в том числе и резинотехническим, должны обеспечивать сбор и обработку больших объемов информации, ее хранение и представление в удобном для обслуживающего персонала виде. Кроме того, они предназначены для постоянного отслеживания состояния объекта управления и своевременного реагирования на все его изменения.

Важно отметить, что современное резинотехническое производство представляет собой систему территориально-распределенных технологических объектов, что требует создания распределенных систем управления. Такие системы должны обладать свойствами повышенной надежности и отказоустойчивости, а также быть гибкими и легко настраиваемыми.

В связи с этим актуальным является проблема разработки средств алгоритмического и программного обеспечения для распределенных систем управления резинотехническим производством, обладающими необходимыми таким системам свойствами.

Тематика диссертации связана с реализацией разделов комплексной программы Министерства образования Российской Федерации «Информатизация России» и соответствует научному направлению Воронежского государственного технического университета «Вычислительные и информационно-телекоммуникационные системы для управления технологическими процессами».

ЦЕЛЬЮ РАБОТЫ является разработка моделей и алгоритмов, реализующих высоконадежное функционирование распределенной системы управления резинотехническим производством, а также средств информационного обеспечения.

Исходя из цели работы, определены следующие основные задачи: исследование методов и алгоритмов моделирования и управления распределенными технологическими объектами, структурно-функциональный анализ резинотехнического производства, а также средств программного обеспечения АСУ распределенными производственными системами; разработка структуры и состава системы управления распределенными объектами резинотехнического производства; разработка алгоритмов управления аппаратом приготовления резиновых смесей и адаптивного алгоритма высокоточного взвешивания; создание программного обеспечения информационно-управляющей системы распределенными технологическими объектами резинотехнического производства.

МЕТОДЫ ИССЛЕДОВАНИЯ основаны на использовании математической теории систем, системного анализа, вычислительной математики, теории графов, математического моделирования, объектно-ориентированного программирования.

НАУЧНАЯ НОВИЗНА. В диссертации получены следующие результаты, отличающиеся научной новизной: результаты структурно-функционального анализа объекта исследования как системы с территориально-распределенными технологическими объектами, положенные в основу при разработке системы управления; структура распределенной информационно-управляющей системы, обеспечивающей высоконадежное функционирование всех компонентов резинотехнического производства; алгоритм высокоточного дозирования компонентов резинотехнических смесей, отличающийся повышенной точностью процесса взвешивания, а также существенным сокращением обработки информации; алгоритм управления аппаратом приготовления резиновых смесей, отличающийся воспроизведением технологических рецептов в виде последовательной обработки логических операций; структура проблемно-ориентированной СУБД, позволяющей реализовать режим распределенного управления; средства программного обесечения автоматизированного территориаль-но-распределенного резинотехнического производства.

ПРАКТИЧЕСКАЯ ЦЕННОСТЬ. Предложенная универсальная трехуровневая система моделирования позволяет создавать модели сложных систем из набора одинаковых элементов и дает возможность быстрого перехода от модели к системе управления, которая строится по тем же самым принципам и из того же набора элементов.

Разработанное алгоритмическое и программное обеспечение распределенной системы управления резинотехническим производством может быть использовано при создании информационно-управляющих систем различных распределенных технологических процессов. В частности, оно может применяться для автоматизации различных процессов смешения по технологическим рецептам, для управления системами транспортировки сырья и готовой продукции.

РЕАЛИЗАЦИЯ И ВНЕДРЕНИЕ РЕЗУЛЬТАТОВ РАБОТЫ. Основные теоретические и практические результаты работы реализованы в виде распределенной информационно-управляющей системы приготовления резиновых смесей ОАО «Воронежшина».

Ожидаемый годовой экономический эффект от внедрения результатов диссертационной работы составляет двести десять тысяч рублей в ценах мая 2000 г. Эффект достигается за счет рационального использования материалов, увеличения производительности работы и уменьшения времени простоя оборудования подготовительного цеха.

АПРОБАЦИЯ РАБОТЫ. Положения работы доложены и обсуждены на Третьей Всероссийской конференции «Разработка АСУТП в системе Трейс

Моуд: Задачи и Перспективы» (Москва, 1997); II Республиканской электронной научной конференции «Современные проблемы информатизации» (Воронеж, 1997); III Международной электронной научной конференции «Современные проблемы информатизации» (Воронеж, 1998); IV Международной электронной научной конференции «Современные проблемы информатизации» (Воронеж, 1999), а также на научных семинарах кафедры ABC ВГТУ в 1997-2000 гг.

Разработанная распределенная система управления технологическим процессом приготовления резиновых смесей проходит опытную эксплуатацию на ОАО «Воронежшина».

ПУБЛИКАЦИИ. По теме диссертационных исследований опубликовано 11 печатных работ.

СТРУКТУРА И ОБЪЕМ РАБОТЫ. Диссертационная работа состоит из введения, четырех глав, заключения, перечня библиографических источников из 110 наименований и содержит 113 страниц машинописного текста, 44 рисунка, 4 таблицы и приложения на 56 страницах.

Заключение диссертации по теме «Системы обработки информации и управления», Коровин, Константин Валерьевич

Выводы

1. Предложенные в работе подходы к созданию систем управления позволяют реализовать все функции распределенной системы управления технологическим процессом приготовления резиновых смесей.

2. Сформированная структура комплекса технических и программных средств обеспечивает практическое применение распределенной информационно-управляющей системы.

3. Разработанные алгоритмы управления реализованы в программном обеспечении подсистем линий смешения и позволяют организовать рациональную работу технологического оборудования.

102

4. Универсальная библиотека, реализованная на языке С, является базовым элементом при построении сложных систем дискретного управления в реальном времени на основе SCADA-системы Trace Mode.

5. Распределенная система управления технологическим процессом приготовления резиновых смесей в рамках действующего производства позволяет существенно сократить простои технологического оборудования и повысить качество выходного продукта.

ЗАКЛЮЧЕНИЕ

В работе поставлена и решена задача разработки алгоритмического и программного обеспечения распределенной системы управления резинотехническим производством.

В рамках проведенных исследований получены следующие результаты:

1. На основе структурно-функционального анализа резинотехнического производства как объекта управления предложена структура распределенной системы управления, которая учитывает дискретность, периодичность и серийность рассматриваемого технологического процесса.

2. Предложена универсальная модульная имитационная модель для описания процессов функционирования распределенной системы обработки информации и управления, которая является совокупностью одинаковых элементарных универсальных объектов - каналов.

3. Разработаны алгоритмы управления аппаратом приготовления резиновых смесей, которые позволяют выполнять технологические рецепты, то есть транслировать последовательность технологических операций в соответствующие им минимальные логические действия оборудования.

4. Разработан адаптивный алгоритм высокоточного взвешивания, использующий динамическое вычисление производительности системы, которое позволяет компенсировать неравномерность поступления материала на весы и организовать процесс управления взвешиванием на основе расчета времени окончания дозирования, что повышает его точность и позволяет уменьшить частоту опроса показаний весов.

5. Реализована распределенная информационно-управляющая система приготовления резиновых смесей, которая состоит из главной диспетчерской инфрмационной подсистемы, подсистемы управления транспортным оборудованием и пяти подсистем управления линиями смешения.

6. Распределенная система управления технологическим процессом приготовления резиновых смесей введена в опытную эксплуатацию на ОАО

104

Воронежшина». Ожидаемый годовой экономический эффект от внедрения результатов диссертационной работы составляет двести десять тысяч рублей в ценах мая 2000 г.

Список литературы диссертационного исследования кандидат технических наук Коровин, Константин Валерьевич, 2000 год

1. Анзимиров Л., Айзин В., Фридлянд А. Новая версия TRACE MODE для Windows NT // СТА. 1998. №3. С. 56-59.

2. Антонов В.Н., Скоробогатый A.C., Терехов В.А. Комплексы технических средств АСУ ТП. Л.: ЛЭТИ, 1984. 76 с.

3. Атовмян И.О., Вайрадян A.C., Руднев Ю.П. и др. Надежность автоматизированных систем управления. М.: Высшая школа, 1989. 287 с.

4. Баранов ГЛ., Макаров A.B. Структурное моделирование сложных динамических систем. К.: Наукова думка, 1986. 272 с.

5. Барский А.Б. Планирование параллельных вычислительных процессов. М.: Машиностроение, 1980. 190 с.

6. Богуславский Л.Б., Дрожжинов В.И, Петров Ю.А. Принципы конструирования распределенных автоматизированных систем управления // Проблемы информационных систем / МЦНТИ, 1985. №3. С.7-37.

7. Богуславский Л.Б., Дрожжинов В.И. Основы построения вычислительных сетей для автоматизированных систем. М.: Энергоатомиздат, 1990. 256 с.

8. Бойченко Е.В., Кальфа К., Овчинников В.В. Локальные вычислительные сети. М.: Радио и связь, 1995. 304 с.

9. Ю.Бунин В., Анопренко В., Ильин А., Салова О., Чибисова Н., Якушев А. SCADA-системы: проблема выбора// СТА. 1999. №4. С. 6-24.

10. Бусленко В.Н. Автоматизация имитационного моделирования сложных систем. М.: Наука, 1977. 256 с.

11. Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1978. 399 с.

12. Вайрадян A.C., Коровин A.B., Удалов В.Н. Эффективное функционирование управляющих мультипроцессорных систем. М.: Радио и связь, 1984. 328 с.

13. Васильев Д.В., Сабинин О.Ю. Ускоренное статистическое моделирование систем управления. JL: Энергоатомиздат, 1987. 136 с.

14. Вельбицкий И.В. Технология программирования. Киев: Техшка, 1984. 376 с.

15. Верлань А.Ф., Москалюк С.С. Математическое моделирование непрерывных динамических систем. К.: Наукова думка, 1988. 288 с.

16. Герхардт Х.-Д. Комби-сети обобщение сетей Петри для развития и представления комбинированных математических моделей / Теория сложных систем и методы их моделирования // Тр. семинара / ВНИИСИ. АН СССР. М., 1983. С.49-57.

17. Головкин Б.А. Надежное программное обеспечение // Зарубежная радиоэлектроника. 1978. №12. С.3-61.

18. Головкин Б.А. Параллельная обработка информации. Программирование, вычислительные методы, вычислительные системы // Изв. АН СССР. Техническая кибернетика, 1979. №2. С. 116.

19. Гусев С.И., Коровин К.В. Информационная модель технологического процесса производства маточных резиновых смесей. // Тезисы докладов II Республиканской электронной научной конференции «Современные проблемы информатизации». Воронеж, 1997. С. 124.

20. Гусев С.И., Коровин К.В., Бурковский B.JI. Управление сложным технологическим, оборудованием на основе пакета TRACE MODE. // Межвузовский сборник научных трудов «Системы управления и информационные технологии». Воронеж, 1997. С. 120-123.

21. Гусев С.И., Коровин К.В., Чепелев С.А. Система управления линией производства резиновых смесей. // Тезисы докладов II Республиканской электронной научной конференции «Современные проблемы информатизации». Воронеж, 1997. С. 35.

22. Дейт К. Введение в системы баз данных: Пер. с англ. М.: Наука, 1990. 574 с.

23. Денисов A.A., Колесников Д.Н. Теория больших систем управления: Учебное пособие для вузов. JL: Энергоиздат, 1982.

24. Деруссо П., Рой Р., Клоуз Ч. Пространство состояний в теории управления. М.: Наука, 1980. 620 с.

25. Директор С., Рорер Р. Введение в теорию систем: Пер. с англ. М.: Мир, 1974. 674 с.

26. Думлер С.А. Управление производством и кибернетика. М.: Машиностроение, 1969. 424 с.

27. Емельянов C.B., Калашников B.B. Исследование сложных систем с помощью моделирования // Итоги науки. Сер. Техн. кибернетика / ВИНИТИ. М., 1981. Т.14. С.158-209.

28. Заде J1.A. Понятие состояния в теории систем // Общая теория систем, Мир, 1976. С.49-65.

29. Зайцев A.B. Новый уровень интеграции систем управления производством // СТА. 1997. №1. С. 22-26.35.3елковиц М., Шоу А., Геннон Дж. Принципы разработки программного обеспечения: Пер. с англ. М.: Мир, 1982. 547 с.

30. Зингер И.С., Куцык Б.С. Обеспечение достоверности данных в автоматизированных системах управления производством. М.: Наука, 1984. 132 с.

31. Золотарев C.B. Интегрированные пакеты АСУ ТП в ОС QNX // СТА. 1996. №1. С. 36-40.

32. Имитационное моделирование производственных систем / Под ред. A.A. Васильева. М.: Машиностроение, 1983. 416 с.

33. Кадыров A.A. Машинные методы моделирования и исследования структурно-сложных систем. Ташкент: Фан, 1989. 100 с.

34. Казаков И.Е. Статистическая теория систем управления в пространстве состояний. М.: Наука, 1985. 432 с.

35. Козлов С.С. Отказоустойчивые вычислительные системы // Техника средств связи. Сер. ВТСС. 1983. Вып.1. С.3-9.

36. Коровин A.B., Удалов В.Н. Рациональная организация решения взаимосвязанных задач в мультипроцессорной вычислительной системе // Вопросы теории и построения АСУ. М.: Атомиздат, 1986. Вып.1. С.30-36.

37. Коровин К.В. Программно-аппаратный комплекс управления технологическим процессом изготовления резинотехнических смесей // Тезисы докладов III Международной электронной научной конференции «Современные проблемы информатизации». Воронеж, 1998. С. 47.

38. Коровин K.B. Структура программного обеспечения системы управления производством резинотехнических смесей // Межвузовский сборник научных трудов «Информационные технологии моделирования и управления». Воронеж, 1998. С. 24-29.

39. Коровин К.В., Бурковский B.JI. Применение сетей Петри в математической модели системы изготовления резинотехнических смесей // Тезисы докладов IV Международной электронной научной конференции «Современные проблемы информатизации». Воронеж, 1999.С. 120.

40. Котов В.Е. Сети Петри. М.: Наука, 1984. 160 с.

41. Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978. 432 с.

42. Крот A.M. Дискретные модели динамических систем на основе полиномиальной алгебры. Мн.: Навука i тэчшка, 1990. 312 с.

43. Кузнецов А.Ю. SCADA-системы: программистом можешь ты не быть. // СТА. 1996. №1. С. 32-35.

44. Липаев В.В. Надежность программного обеспечения АСУ. М.: Энергоатом-издат, 1991. 435 с.

45. Локотков A.B. GENESIS32: нечто большее, чем просто SCADA-система // СТА. 1998. №3. С. 72-81.

46. Локотков A.B. GENIE 3.0: гармония простоты и эффективности // СТА. 1998. №3. С. 62-68.

47. Локотков A.B. Что должна уметь система SC ADA // СТА. 1998. №3. С. 4446.

48. Майерс Г. Надежность программного обеспечения: Пер. с англ. М.: Мир, 1990. 367 с.

49. Макарьев К. Разрешите представить: RTWin // СТА. 1998. №3. С. 48-53.

50. Максимей И.В. Имитационное моделирование на ЭВМ. М.: Радио и связь, 1988. 232 с.

51. Максимей И.В. Математическое моделирование больших систем. Мн.: Вы-шэйшая школа, 1985. 119 с.

52. Мартин Дж. Организация баз данных в вычислительных системах: Пер. с англ. М.: Мир, 1990. 479 с.

53. Математическое моделирование технологических процессов и метод обратных задач / А.Н. Тихонов, В.Д. Кальнер, В.Б. Гласко и др. М.: Машиностроение, 1990. 264 с.

54. Моделирование материальных потоков в гибких производственных системах / Метод. Указания 299044-05-М-85 / ЦНИИ «Румб». Л., 1985. 76 с.

55. Музыкин С.Н., Родионова Ю.М. Моделирование динамических систем. Ярославль: Верх.-Волж. кн. изд-во, 1984. 304 с.

56. Мясников В.А., Игнатьев М.Б., Покровский A.M. Программное управление оборудованием. Л.: Машиностроение, 1984. 540 с.

57. Мячев A.A. Организация управляющих вычислительных комплексов. М.: Энергия, 1990. 269 с.

58. Надежность технических систем: Справочник / Ю.К. Беляев, В.А. Богатырев, В.В. Болотин и др.; Под ред. И.А. Ушакова. М.: Радио и связь, 1985. 453 с.бб.Оре О. Теория графов. М.: Наука, 1980. 336 с.

59. Основы автоматизированного управления производством / Под ред. И.М. Макарова. М.: Высшая школа, 1983. 504 с.

60. Основы моделирования сложных систем / Под ред. И.В. Кузьмина. Киев: Вища школа, 1981. 653 с.

61. Отказоустойчивые вычислительные системы / И.А. Мамзелев, М.Ю. Русаков, Е.Д. Часовников, H.H. Николаенко // Зарубежная радиоэлектроника, 1983. №1. С.3-28.

62. Первозванский A.A. Математические модели в управлении производством. М.: Наука, 1975.616 с.

63. Петелин Б.В. Динамика материальных потоков в задачах управления дискретным производством / Ленинградский электротехн. ин-т. М., 1984. С. 136.

64. Петров Б.Н., Поспелов Г.С. О путях развития больших систем управления. Изв. АН СССР // Техническая кибернетика, 1976. №2, С.3-10.

65. Пешель М. Моделирование сигналов и систем: Пер. с нем. М.: Мир, 1981. 386 с.

66. Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984. 264 с.

67. Полляк Ю.Г. Вероятностное моделирование на электронно-вычислительных машинах. М.: Сов. радио, 1971. 399 с.

68. Прангишвили И.В. Микропроцессоры и локальные сети микроЭВМ в распределенных системах управления. М.: Энергоатомиздат, 1985. 272 с.

69. Радойков Е. Логические сети Петри, одна обобщенная модель параллельного вычисления // Проблемы кибернетики и роботики, 1990. №12. С.21-26.

70. Родионов В.Д., Терехов В.А., Яковлев В.Б. Технические средства АСУ ТП: Учеб. Пособие для вузов. / Под ред. В.Б. Яковлева. М.: Высш. шк., 1989. 263 с.

71. Саломатин H.A., Беляев Г.В. Имитационное моделирование в оперативном управлении производством. М.: Машиностроение, 1984. 119 с.

72. Смит Дж. М. Математическое и цифровое моделирование для инженеров и исследователей. М.: Машиностроение, 1980. 271 с.

73. Солнечный Э.М. Математическое описание динамики линейных систем с помощью обобщенных функций и их преобразования Фурье // Автоматика и телемеханика. 1995. №10. С. 180.

74. Сорокин С.А. Как много ОС PB хороших. // СТА. 1997. №2. С. 7-11.

75. Сорокин С.А. Системы реального времени // СТА. 1997. №2. С. 22-29.

76. Таль A.A., Юдицкий С.А. Иерархия и параллелизм в сетях Петри // АиТ. 1982. №7. С.113-123.

77. Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения. Пер. с англ. М.: Мир, 1981. 468 с.

78. Управление ГПС: Модели и алгоритмы / Под общ. ред. Академика АН СССР C.B. Емельянова. М.: Машиностроение, 1987. 368 с.

79. Флинт Д. Локальные сети ЭВМ: архитектура, принципы построения, реализация. М.: Финансы и статистика, 1986. 366 с.

80. Халявка A. OS-9 // СТА. 1997. №2. С. 14-15.

81. Цвиркун А.Д., Акинфиев В.К., Филиппов В.А. Имитационное моделирование в задачах синтеза структуры сложных систем. М.: Наука, 1985. 174 с.

82. Шаракшанэ A.C., Железнов И.Г., Ивницкий В.А. Сложные системы. М.: Высшая школа, 1987. 437 с.

83. Шеннон Р. Имитационное моделирование систем искусство и наука. Пер. с англ. М.: Мир, 1988. 634 с.

84. Шеффлер Д.Д. Распределенные компьютерные системы для управления производственными процессами // Computer, 1984. Т.17. №2 С.11-18.

85. Шнейдерман Б. Психология программирования: человеческие факторы в вычислительных и информационных системах. Пер. с англ. М.: Радио и связь, 1984. 439 с.

86. Шураков В.В. Надежность программного обеспечения систем обработки данных. М.: Финансы и статистика, 1991. 324 с.

87. Эффективность сложных систем. Динамические модели / В.А. Виноградов, В.А. Грущанский, С.И. Довгодуш и др. М.: Наука, 1989. 285 с.

88. Ющенко С. QNX // СТА. 1997. №2. С. 12-13.

89. Якубайтис Э.А. Архитектура вычислительных сетей. М.: Статистика, 1990. 279 с.

90. Якубайтис Э.А. Классификация вычислительных сетей // Автоматика и вычислительная техника, 1993. №3. С.3-6.

91. Coolahan J.E. Timing Requirements for Time-Driven System Using Augmented Petri Nets // IEEE Trans. On SE. 1983. Vol.9. N5. P.603-616.

92. InBatch User's Guide Wonderware Corporation, 1996.

93. InControl New Features Notes - Wonderware Corporation, 1997.

94. InSupport User's Guide Wonderware Corporation, 1996.

95. InTouch User's Guide Wonderware Corporation, 1995.

96. InTrack User's Guide Wonderware Corporation, 1996.

97. Jensen K. Colored Petri Nets and the Invariant Method // Theor. Comput. Sci. 1981. Vol.14. N3.P.317-336.

98. Magot J. Performance Evaluation of Concurrent Systems Using Petri Nets // Inf. Process. Leti. 1984. Vol.18. N1. P.590-599.

99. Reference Guide Wonderware Corporation, 1995.

100. Sifakis J. Use of Petri Nets for Performance Evaluation Measuring, Modeling and Evaluation of Computer Systems / Proc. Of the Third Workshop on Modeling and Performance Evaluation of Computer Systems. Amsterdam. North-Holland. 1977. P.75-93.

101. Suzuki J., Murata T. A Method for Stepwise Refinement and Abstraction of Petri Nets // Journ. Comput. And Syst. Sci. 1983. Vol.27. P.51-76.

102. Valette R. Analysis of Petri Nets by Stepwise Refinements // Journ. Comput. And Syst. Sci. 1979. Vol.18. N1. P.35-46.114