플랫폼 독립적 인 페트리 네트 편집기 프로젝트 (파이프)을 작성하고 효율적으로, 효과적으로, 신속하게 페트리 그물을 분석합니다.주요 설계 기능 모듈 접근은 표준 계산 내장 데이터 층을 사용하는 방법, 새로운 모듈을 쉽게 강력 기록 될 수 있도록, 해석에 채용된다.식스 분석 모듈은 불변 분석, 상태 공간 분석 (교착 상태 등), 및 시뮬레이션 분석 및 분류 등이 제공된다.파이프는 XML 페트리 네트 표준 (PNML)을 준수합니다. 저장하고 페트리...
- 홈페이지
- Linux
- 교육 및 과학 소프트웨어
- 전자 설계 자동화
카테고리별로 검색
- 개발자 도구
- 게임
- 교육 및 과학 소프트웨어
- 건강 및 피트니스 소프트웨어
- 과학 계산기
- 과학 소프트웨어
- 교구
- 구경 플러그인
- 단위 변환기
- 물리학 및 화학 소프트웨어
- 사전 및 번역
- 생물 정보학
- 수학 소프트웨어
- 외국어 소프트웨어
- 인공 지능 소프트웨어
- 전자 설계 자동화
- 전자 책 소프트웨어
- 족보 소프트웨어
- 종교 소프트웨어
- 지리 소프트웨어
- 천문학 소프트웨어
- 학생 도구
- 더 많은 교육 및 과학 소프트웨어
- 그래픽 디자인 소프트웨어
- 네트워킹 소프트웨어
- 데스크톱 향상
- 드라이버
- 디스크 및 파일 소프트웨어
- 디지털 사진 소프트웨어
- 보안 소프트웨어
- 브라우저
- 비디오 소프트웨어
- 비즈니스 및 사무실 소프트웨어
- 생산성 소프트웨어
- 시스템 유틸리티
- 오디오 소프트웨어
- 웹 개발 소프트웨어
- 인터넷 소프트웨어
- 통신 소프트웨어
- 홈 & 가족 소프트웨어
- 화면 보호기
인기있는 소프트웨어
-
Greensocs 11 May 15
-
XCircuit 3 Jun 15
-
Qucs 17 Feb 15
-
LayoutEditor 11 May 15
-
Quite Universal Circuit Simulator 15 Apr 15
-
gResistor 3 Jun 15
-
CAM Expert 3 Jun 15
가장 좋은 전자 설계 자동화 에 Linux
ngspice 26
Ngspice 무료 및 크로스 플랫폼 그래픽 및 명령 줄 소프트웨어 원래 Spice3f5, Xspice 및 Ciber1b1 회로 simulators.Improves에 따라 혼합 신호 및 혼합 수준의 회로 시뮬레이터로 C로 구현 설계된 오픈 소스이며, Spice3f5 회로 simulatorThe 출원 다른 URL]의 주요 목표는 Spice3f5 회로 시뮬레이터를 향상시킬뿐만 아니라, 가능한 한 많은 운영 체계를 지원하는 것이다. 또한, Ngspice는...
SVEditor 1.6.7
SVEditor는 glanceThe 응용 프로그램에서의 Verilog와 SystemVerilog를 files.Features을 편집하기위한 기본 통합 개발 환경을 제공하는 유명하고 강력한 이클립스 IDE에서 자바로 구현 기반의 오픈 소스 그래픽 프로젝트에 대한 ctags를 유사한 스캐너를 사용합니다 의 SystemVerilog와의 Verilog 소스 파일에서 정보를 추출. 이 오류를 허용 할뿐만 아니라, 인식 할 수없는 언어 구조를 무시하도록...
HDLmaker 7.4.4
HDLmaker은의 Verilog 설계를 생성하기위한 도구입니다. HDLmaker 복잡한 FPGA의 개발은 다음과 같은 작업을 수행하여 PC 보드뿐만 아니라 설계...
Piklab 0.16.2
의 dsPIC와 PIC 마이크로 컨트롤러에 기반 응용 프로그램 (통합 개발 환경) Piklab는 오픈 소스 IDE & NBSP입니다.이 응용 프로그램은 마이크로 칩의 MPLAB 소프트웨어와 매우 유사합니다. 명령 줄 프로그래머가 포함되어 이 릴리스의 새로운 기능입니다 무엇 : 있습니다. [마이클 Vrolijk에 의해 패치] 18F2XK22 / 18F4XK22에 대한 지원을 추가[갈 졸트에 의해 패치] 16F1829과 16F1507에 대한 추가...
GTKWave 3.3.89 업데이트
GTKWave는 GTK + 툴킷을 사용하여 제작 된 오픈 소스 VCD / EVCD / LXT / 개요 .out 형식 전자 파형 뷰어입니다. GTKWave는 LXT, VZT, LXT2, GHW 및 FST 파일을 읽을 수 있습니다. Linux, Mac OS X 및 Windows 시스템에서 실행되는 크로스 플랫폼 소프트웨어입니다. 이 릴리스의 새로운 기능 : 경미한 Tcl 버그가 수정되었습니다.highlight_wavewindow rc 변수와 관련...
Oregano 0.69.0
오레가노 프로젝트는 회로도 캡처 및 전기 회로의 시뮬레이션을위한 응용 프로그램입니다. 실제 시뮬레이션 버클리 스파이스, 또는 GNUcap 또는 새로운 세대의 ngspice에 의해 수행된다.오레가노는 파일 복사에 포함 된 GNU GPL의 조건 하에서 사용 가능합니다.요구 사항 :- 당신이 필요로하는 libgnome2, libglade2, libgnomeprintui2, libgnomeui2, libgtksourceview1.0- 그리고 libxml2를...
ASCO 0.4.9
SPICE 회로 최적화 일명 ASCO 고성능 병렬 차분 진화 (DE) 최적화 알고리즘을 이용하여, 기존 SPICE 회로 시뮬레이터에 최적화 기능을 가지고 목적 오픈 소스 프로젝트이다.지금이 순간, ASCO는 HSPICE (R), ELDO (TM), LTspice (TM), Qucs, ngspice, 그리고 유령 (R)에 대한 out-of-the-box 지원이 포함되어 있습니다.재사용 및 기존 회로를 최적화 할 수 있습니다 ASCO으로, 완전히 SPICE...
GEZEL 2.1
GEZEL는 언어와 탐사, 시뮬레이션을위한 열린 환경, 사이클 진정한 하드웨어 모델의 구현입니다.GEZEL2 도메인 특정 마이크로 아키텍처의 탐사, 시뮬레이션 및 구현을위한 언어 및 설계 환경입니다.GEZEL2은 C ++로 작성된 GEZEL라는 하드웨어 기술 언어, 그 언어에 대한 시뮬레이션 엔진을 제공한다.GEZEL 언어로 기술 디자인은 GEZEL2 시뮬레이션 커널에서 시뮬레이션 할 수있다. 시뮬레이션 커널은 C ++로 작성된 독립형 또는 다른 또...
Gaphor 0.17.1
Gaphor 모델링 환경을 사용하기 쉽습니다. 이것은 당신이 문서에 대한 좋은 UML 다이어그램을 작성하고 디자인을 결정하는 데 도움을주기 위해 할 수있는 것을 의미한다. Gaphor는 응용 프로그램을 만드는 데 도움이됩니다.Gaphor 프로젝트는 UML 2.0 호환 데이터 모델이 특징 :. Gaphor는 UML 2.0 호환 데이터 모델을 가지고있다. 이것은 다른 모델링 도구와 미래의 호환성을 보장합니다.데이터 모델은 Gaphor 자체...
카테고리별로 검색
- 개발자 도구
- 게임
- 교육 및 과학 소프트웨어
- 건강 및 피트니스 소프트웨어
- 과학 계산기
- 과학 소프트웨어
- 교구
- 구경 플러그인
- 단위 변환기
- 물리학 및 화학 소프트웨어
- 사전 및 번역
- 생물 정보학
- 수학 소프트웨어
- 외국어 소프트웨어
- 인공 지능 소프트웨어
- 전자 설계 자동화
- 전자 책 소프트웨어
- 족보 소프트웨어
- 종교 소프트웨어
- 지리 소프트웨어
- 천문학 소프트웨어
- 학생 도구
- 더 많은 교육 및 과학 소프트웨어
- 그래픽 디자인 소프트웨어
- 네트워킹 소프트웨어
- 데스크톱 향상
- 드라이버
- 디스크 및 파일 소프트웨어
- 디지털 사진 소프트웨어
- 보안 소프트웨어
- 브라우저
- 비디오 소프트웨어
- 비즈니스 및 사무실 소프트웨어
- 생산성 소프트웨어
- 시스템 유틸리티
- 오디오 소프트웨어
- 웹 개발 소프트웨어
- 인터넷 소프트웨어
- 통신 소프트웨어
- 홈 & 가족 소프트웨어
- 화면 보호기