프로그램별 petrikit.sf.net

PetriKit은 페트리 네트 분석을 위한 모듈식 툴킷입니다. 기본 특성 추출, 불변 추출 및 도달 성 그래프 생성을 허용합니다. 결과는 일반 텍스트, HTML 또는 XML 파일로 서식할 수 있습니다.