Программы acmgen.sf.net

ACMgen является автоматическим генератором кода асинхронных механизмов связи, основанных на генерации моделей сетей Петри, которые могут быть официально проверены на некоторые свойства, а затем преобразованы в реальную реализ