플랫폼 독립적 인 페트리 네트 편집기 프로젝트 (파이프)을 작성하고 효율적으로, 효과적으로, 신속하게 페트리 그물을 분석합니다.주요 설계 기능 모듈 접근은 표준 계산 내장 데이터 층을 사용하는 방법, 새로운 모듈을 쉽게 강력 기록 될 수 있도록, 해석에 채용된다.식스 분석 모듈은 불변 분석, 상태 공간 분석 (교착 상태 등), 및 시뮬레이션 분석 및 분류 등이 제공된다.파이프는 XML 페트리 네트 표준 (PNML)을 준수합니다. 저장하고 페트리...
- 홈페이지
- James D Bloom