プラットフォームに依存ペトリネットEditorプロジェクト(PIPE)すぐにペトリネットを作成し、分析し、効率的、かつ効果的。重要な設計上の特徴は、標準的な計算のための組み込みのデータ層法を用いて、容易にかつ強力に書き込まれる新しいモジュールを有効にする、分析のために採用したモジュラーアプローチです。六分析モジュールは不変分析、状態空間解析(デッドロックなど)、およびシミュレーション解析と分類を含む、提供されます。PIPEは、XMLペトリネット標準(PNML)に準拠しています。ペトリネットを保存し、ロードす...
- ホームページ
- Linux
- 教育&科学ソフトウェア
- コンピュータによる設計の自動化
カテゴリから探す
- インターネット·ソフトウェア
- ウェブ開発ソフトウェア
- オーディオソフトウェア
- グラフィックデザインソフトウェア
- ゲーム
- システムユーティリティ
- スクリーンセーバー
- セキュリティーソフトウェア
- ディスク&ファイルのソフトウェア
- デジタル写真ソフトウェア
- デスクトップの機能拡張
- ドライバ
- ネットワークソフトウェア
- ビジネス&オフィスソフトウェア
- ブラウザ
- ホーム&ファミリーソフトウェア
- 教育&科学ソフトウェア
- コンピュータによる設計の自動化
- バイオインフォマティクス
- ヘルス&フィットネスソフトウェア
- 人工知能ソフトウェア
- 単位コンバータ
- 口径プラグイン
- 地理ソフトウェア
- 外国語ソフトウェア
- 天文学ソフトウェア
- 学生ツール
- 宗教的なソフトウェア
- 教育ツール
- 数学ソフトウェア
- 物理&化学ソフトウェア
- 科学ソフトウェア
- 科学電卓
- 系図ソフトウェア
- 辞書&翻訳者
- 電子書籍ソフトウェア
- もっと教育&科学ソフトウェア
- 映像ソフト
- 生産性ソフトウェア
- 通信ソフトウェア
- 開発者用ツール
人気のソフトウェア
-
ReliaFree 14 Apr 15
-
gResistor 3 Jun 15
-
Dolphin Smash 20 Feb 15
-
Pcb 3 Jun 15
-
Qucs 17 Feb 15
-
GSim85 2 Jun 15
-
Platform Independent Petri Net Editor 3 Jun 15
ベスト コンピュータによる設計の自動化 のために Linux
ngspice 26
Ngspiceオープンソース、フリーでクロスプラットフォームのグラフィカルとコマンドラインソフトウェアはC言語で実装され、ミックスド·シグナルおよびもともとSPICE3F5、XSPICEとCiber1b1回路simulators.Improvesに基づき混在レベル回路シミュレータとして設計されていますSPICE3F5回路simulatorTheアプリケーション&rsquoの、主な目標は、SPICE3F5回路シミュレータを改善するだけでなく、できるだけ多くのオペレーティングシステムをサポートすることである。ま...
SVEditor 1.6.7
SVEditorはオープンソースのグラフィカルなプロジェクトは、Javaで実装され、有名なと強力なEclipse...
HDLmaker 7.4.4
HDLmakerは、Verilogデザインを生成するためのツールです。...
Piklab 0.16.2
のdsPICとPICマイクロコントローラをベースにしたアプリケーションのための(統合開発環境); Piklabは、オープンソースのIDE&NBSPです。このアプリケーションは、マイクロチップMPLABソフトウェアに非常に類似している。コマンドラインプログラマーは含まれています。 のこのリリースで新しいのあるもの:ます。 18F2XK22 / 18F4XK22 [パッチのサポートが追加されましたマイケルVrolijkによる] [ギャルジョルトによってパッチ]...
GTKWave 3.3.89 更新
GTKWaveは、GTK +ツールキットを使用して構築されたオープンソースのVCD / EVCD / LXT / Synopsis形式の電子波形ビューアです。 GTKWaveはLXT、VZT、LXT2、GHW、FSTファイルを読み込むことができます。 Linux、Mac OS X、Windowsシステムで動作するクロスプラットフォームのソフトウェアです。 このリリースの新機能: マイナーTclのバグが修正されました。highlight_wavewindow...
Oregano 0.69.0
オレガノプロジェクトは、電気回路の回路図キャプチャとシミュレーションのためのアプリケーションです。実際のシミュレーションはバークレースパイス、またはGNUcapや新世代ngspiceによって行われます。オレガノは、COPYINGファイルに含まれるGNU GPLの条項の下でライセンスされています。要件: - あなたが必要libgnome2、libglade2、libgnomeprintui2、libgnomeui2、libgtksourceview1.0 -...
ASCO 0.4.9
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...
カテゴリから探す
- インターネット·ソフトウェア
- ウェブ開発ソフトウェア
- オーディオソフトウェア
- グラフィックデザインソフトウェア
- ゲーム
- システムユーティリティ
- スクリーンセーバー
- セキュリティーソフトウェア
- ディスク&ファイルのソフトウェア
- デジタル写真ソフトウェア
- デスクトップの機能拡張
- ドライバ
- ネットワークソフトウェア
- ビジネス&オフィスソフトウェア
- ブラウザ
- ホーム&ファミリーソフトウェア
- 教育&科学ソフトウェア
- コンピュータによる設計の自動化
- バイオインフォマティクス
- ヘルス&フィットネスソフトウェア
- 人工知能ソフトウェア
- 単位コンバータ
- 口径プラグイン
- 地理ソフトウェア
- 外国語ソフトウェア
- 天文学ソフトウェア
- 学生ツール
- 宗教的なソフトウェア
- 教育ツール
- 数学ソフトウェア
- 物理&化学ソフトウェア
- 科学ソフトウェア
- 科学電卓
- 系図ソフトウェア
- 辞書&翻訳者
- 電子書籍ソフトウェア
- もっと教育&科学ソフトウェア
- 映像ソフト
- 生産性ソフトウェア
- 通信ソフトウェア
- 開発者用ツール
人気のソフトウェア
-
ngspice 17 Feb 15
-
FidoCadJ 19 Feb 15
-
LayoutEditor 11 May 15
-
Oregano 3 Jun 15
-
PyVISA 3 Jun 15
-
SimShop 11 May 15
-
Platform Independent Petri Net Editor 3 Jun 15