Рассмотрено программное средство - PNtool, предназначенное для синтеза и анализа параллельных и критических во времени систем, которые описываются с помощью формализма сетей Петри (СП). PNtool предназначен для поддержки четырех диалогов СП: обобщенные СП (generalized PN), временно-базисные СП (Time-basic PN), эвалюационные СП (evaluative PN) и раскрашенные СП (Coloured PN). PNtool позволяет конструирование и симуляцию системы с применением любого из упомянутых диалектов СП, а также проделать анализ системы с целью одержания ее инвариантов и решения проблемы достижимости для системы представленной обобщенной СП. Спецификация систем на языке обобщенных или эвалюационных СП может быть представлена и сохраняться в формате PNML. PNtool реализован на языке JAVA как одна из частей программной среды mFDTE (multi FDT Environment). Среда mFDTE предназначена для синтеза и анализа параллельных (concurrent) дискретных систем, включая и временно-критические системы. Программная среда mFDTE создана в университете авторов статьи. В ней интегрированы три формальных метода, которые обладают взаимно комплементарными свойствами: СП, процессные алгебры и метод В AMN. Описаны интерфейсы, связывающие PNtool с остальными частями среды mFDTE.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"