CPN with Linux

Подскажите пожалуйста, существуют ли OpenSource проекты для работы с раскрашенными сетями Петри? (построение и анализ графа разметок, etc)