1. |
Hudak S. A support tool for the reachability and other Petri nets-related problems and formal design and analysis of discrete systems / S. Hudak, S. Korecko, S. Simonak // Пробл. програмув. - 2008. - N 2/3 (спец. вип.). - С. 613-621. - Библиогр.: 14 назв. - англ.Рассмотрено программное средство - 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. Індекс рубрикатора НБУВ: З970.21-018
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|