아르네 이 유틸리티를 사용하여 생물학적 규제 네트워크를 분석하십시오.
지금 다운로드

아르네 순위 및 요약

아르네 태그

만들다 창조자 분석 규제 요구 사항 생물학적 네트워크 생물학적 생물학적 매개 변수 생물학적주기 합성 생물학적 시스템 생물학적 데이터 생물학적 서열 생물학적 네트워크를 생성합니다 생물학적 네트워크 생성기 생물학적 네트워크 분석 생물학적 경로 생물학적 민물 생물학적 반복 생물학적 텍스트 광산 생물학적 유기체 생물학적 스크린 세이버 생물학적 현상 생물학적 경로 탐색 생물학적지도 생물학적 질문 생물학적 라이브러리 규제 준수 생물학적 네트워크 큐레이션 생물학적 삶을 시뮬레이트합니다 생물학적 시퀀스를 분석합니다 생물학적 분자 분석 생물학적 분자 분석 생물학적 데이터 오버레이 규제 지역 분석 생물학적 경로를 시각화하십시오 생물학적 경로 뷰어 생물학적 경로를 분석하십시오 생물학적 경로를 봅니다 생물학적 경로를 분석하십시오 CI-Regulatory 요소를 분석하십시오 물류 네트워크 분석 생물학적 시뮬레이터

아르네 설명

Arne은 생물학적 규제 네트워크를 모델링하고 분석하는 데 도움이되는 그래픽 도구를 제공하도록 특별히 고안된 사용하기 쉬운 편리합니다. McRL2 모델 검사기 스위트를 백엔드로 사용하고 Eclipse 리치 클라이언트 플랫폼을 사용하여 빌드됩니다. 따라서 생물학적 네트워크를 만드는 데 도움이되는 도구를 찾고있는 경우 Arne을 사용하여 회전하여 기능을 충족시킬 수 있는지 확인하십시오. 주요 특징: 단기 효과를 포함한 이산 규제 네트워크의 그래픽 편집 모노티티 성 제약 조건, 모달 MU-calculus 화합물, 이위 단조 등의 활성화 기능의 자동 생성, 모달 뮤 미적분 수식 및 다중 정지 / 항상성 제약 조건 MCRL2 도구 LTSGRAPH 를 사용하여 네트워크 동작 표시

아르네 관련 소프트웨어