Методы и средства вычислительного эксперимента / Акад. наук СССР, КНЦ, Ин-т информатики и мат. моделирования технолог. процессов. – Апатиты : Кольский научный центр АН СССР, 1990.

выбранопредставление, содержащееинформациюобусловныхпереходах, тотесты могутбытьзаписаныввидеконъюнкцийпредикатовиаусловныхвершин. Однаиаформальныхмоделей, применяемаяврассматриваемойсистеме, сим вольнаясеть, позволяетвыполнятьинтерпретациюалгоритмасвычислениямив символьномвиде. Этоозначает, чтопользовательопределяетименавходныхдан ных, иврезультатевыполненияалгоритмаполучаетвыражениядлявыходныхдан ныхвсимвольномвиде. Сочетаниеданнойвозможностиспошаговымвыполнением алгоритмавинтерактивномрежимепредоставляетбогатыевозможностиотладки безориентациинакакой-либоконкретныйязыкпрограммирования. Построениеформальноймоделиалгоритмаие анализдолжнызаканчиваться получениемобъектныхкодовИрезультатоввыполненияпрограмм, реализующих разрабатываемыеалгоритмы. Приэтомтекстыпрограммдолжнынаходитьсяво взаимосвязисалгоритмом, проектируемымввидеформальноймодели. Тогда свойства, выявленныедляформальноймодели, будутявлятьсясвойствамиреаль нойпрограммы. Кгенерациитекстовпрограммвозможнодваподхода. Во-первых, текстпрограммыможетбытьвыбранв.качествевходногоязыкапредставления алгоритма. Вэтомслучаевсяответственностьзасоставлениятекставозлага етсянапользователя, авзадачусистемывходитпостроениеформальноймодели (впростейшемслучае- граф-схемыисетиПетри). Во-вторых, текстпрограммы можетбытьполученавтоматическипоформальноймодели, есликаждойоперации алгоритмапользовательсопоставляетнекоторуюстрокусимволов, являющуюся синтаксическиправильнойгруппойоператоровязыкапрограммирования. Вэтом случаевзадачупользователявходиттолькодополнительнаяобработкатекстов, связаннаясописаниемданных. Выполнениеперечисленныхфункцийпотребовалоиспользованиеновыхмоде лейпараллельныхпроцессовиразработкиметодованализа, связанныхсновыми применениямиизвестныхмоделей. Косновнымрезультатам, связаннымсметода мианализа, можноотнестиследующие: построениерегулярныхвыраженийдля языкасетиПетри, построениеграфадостижимостивременной, синхронной, стро гоиерархическойсети. Косновнымрезультатам, связаннымсмоделямипарал лельныхпроцессов, следуетотнестисимвольныесети. СимвольнаясетьотличаетсяотпростойсетиПетриопределениемфишеки правилвозбужденияисрабатыванияпереходов. Структурасимвольнойсети S = (P.T.F ), гдеР=| Рр Р2 , ..., Pn I - конечноемножествопозиций, п> 0, Т - { t ,.t 2 , - конечное множество переходов, m > о , РПТ = 0 . F = P*TUT*P - отношение инцидентности. Структурасимвольнойсетиявляется структуройординарнойсетиПетри. Каждаяпозициясивольнойсетимаркируетсянекоторымколичествомфишек. Маркировкасетипредставляетсобойвектормаркировоккаждойпозиции. Фишками всимвольнойсетиявляютсяслова, составленныеизсимволовнекоторогоалфа вита. Маркировкасимвольнойсетиможетизменятьсяпосредствомсрабатывания переходов, котороесостоитизудаленияоднойфишкикаждойвходнойпозиции идобавленияоднойфишкивкаждуювыходнуюпозицию. Переходможетсработать только, еслионвозбужден, условиявозбуждениязависятотхарактерафишекво входныхпозициях. Видудаляемыхидобавляемыхфишекопределяетсяспомощью правил, записываемыхдлякаждогопереходаввидетаблицы. Символьныесетипосвоимсвойствамнаиболееблизкикраскрашеннымиал гебраическимсетям. Однакоимеютнесколькосущественныхотличий: конструк тивныйспособзаданиябесконечногомножествафишек, подходящихдлявозбуж денияперехода, гибкоеопределениевыходныхфишек. Этопозволяетвыделить 32