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