WikiDer > Мария (анализатор достижимости) - Википедия
![]() | Тема этой статьи может не соответствовать Википедии общее руководство по известности. (Май 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
Мария: модульный анализатор достижимости это достижимость анализатор параллельных систем, использующий Сети алгебраических систем (высокоуровневый вариант Сети Петри) как формализм моделирования.
внешняя ссылка
- http://www.tcs.hut.fi/Software/maria/ Домашняя страница
![]() | Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. |