PetriKit: Petri Net Analysis Toolkit 1.0
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/petrikit/files/petrikit/1.0/PetriKit-1.0.zip/download
關於 PetriKit: Petri Net Analysis Toolkit
PetriKit 是用於 Petri Net 分析的模組化工具組。它允許提取基本屬性、提取不變量和生成可伸縮性圖。結果可以以純文字、HTML 或 XML 檔案格式化。
相關軟體
-
Vocatra 免費
Vocatra 是一個基於控制臺的詞彙培訓師。它需要一個或多個詞彙文件,查詢每個單詞,並允許您嘗試給出正確的答案。
-
While Interpreter 免費
而口譯員是用於學習目的的 WHILE 程式設計語言的口譯員。它幾乎沒有構造和簡單的語義。
-
RubyMoss 免費
RubyMoss 是一個基於 Web 的框架,使用 Ruby 在 Rails 上編寫,旨在支援莫斯鮑爾光譜學的所有分析和數據處理。在 BSD 許可證下編寫。
-
Peter Pig s Money Counter 免費試用
在智者彼得·皮格的説明下,孩子們練習分揀和數硬幣,為他們的"銀行"賺錢——同時學習有關美國貨幣的有趣事實。他們學會根據價值識別和排序硬幣,加起來多枚硬幣和更多硬幣。這個遊戲是由實用金錢技能的生活為小學生4-7。 ©實用金錢技能的生活
-
Nfrequencies 免費
根據DNA序列數據中的核苷酸頻率進行多變數分析。
-
NetBuilder' - Apostrophe 免費
NetBuilder' 是建構、視覺化和類比多層生物網路的工具,其結構為分層 Petri-net。它有一個內置的隨機模擬器,但也提供了易於訪問其他類比和分析。
-
DFWiki 免費
DFWiki 是一個維琪模組,設計用於在情緒 LMS 環境中工作。它旨在為電子學習、內容創建和協作工作專案提供維琪功能。未來的版本也將工作 utside moodle 。
-
lib3d_mec_GiNaC 免費
lib_3d_mec_ginac是一個符號多體系統動力學庫。它可以獨立使用,儘管它將是未來版本3.0的內核替代3d_mec(HTTP://www.imac.unavarra.es/3d_mec)。
-
JCadServices 免費
聯合提交團隊開發 CORBA 介面,允許機械 CAD 系統交換幾何和拓撲。
-
GEGIS 免費
基於谷歌地球構建網路 GIS。只需 7 個步驟來使 WebGIS Web 應用程式複雜化!