|
Визовитин, Н. В. Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри [Текст] / Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко // Кибернетика и системный анализ. – 2015. – Т. 51, № 2. – С, 62-74.
Представлена новая система анализа и верификации Use Case Maps (UCM) спецификацией с использованием раскрашенных сетей Петри и системы верификации SPIN. |