Построение графа достижимости сетей Петри!!!
Помогите достать исходник, реализующий построение графа достижимости сетей Петри. Или подскажите, если знаете.
поищите BGL, LEDA и ваш граф!
Если книжку не найдете, напишите
Хотелось бы достать исходник на с++ с уже реализованным алгоритмом.