Petri Net to Automaton Converter (GAP)

相關軟體

• Teachers Helper 免費

  教師説明者將幫助任何教師計畫、跟蹤、管理專案、學生、家庭作業和課堂作業。

• ICE Cafe 免費

  冰咖啡館是開放酸味序列克羅馬特格拉姆阿爾金納和觀眾。此軟體的第一個目的是通過比較基因組序列與 RNA 序列，或使用鈴木實驗室開發的 ICE 方法，找到 RNA 編輯，東京大學化學與生物技術公司

• TesT & RedactoR 7 免費試用

  用於創建和通過測試/考試/測驗的程式。包括兩個應用程式：TesT - 程式測試 （ 免費軟體 ） RedactoR - 程式用於創建和編輯測試 （共用軟體與試用期 ） 圖形圖像，照片，視頻和音訊檔可用於測試。您還可以為整個測試或每個問題設置時間限制。根據您的願望，您可以設置密碼進行測試保護。問題可以是：用一個正確答案的變體;與一些正確的變種;建議在定義的序列中選擇變體;建議用戶鍵入他的答案。您可以將每個答案變體與一些點對應，並且不僅將測試結果視為

• YAUCP, Yet Another uController Project 免費

  yaucp， 還有 uController 專案。是一組工具和程式碼源以及資訊，用於開發 Linux 下的 AVR 微控制器系列，僅使用 GPL 相容的工具，這些工具、代碼和源碼和資訊在 GPL 下發表。

• Inwicast Mediacenter 免費

  Inwicast Mediacenter 為 Claroline 和 Moodle 添加了多媒體功能，以便教師可以輕鬆地以各種格式發佈、管理和共用音訊和視頻播客。Inwicast Mediacenter 也可以管理託管在 Youtube 等伺服器上的視頻。

• EQUIL 免費

  EQUIL（實驗室用戶電子排隊）是一個系統，旨在使在實驗室會議中管理學生的工作更加高效、有序和民主。

• PhyloView 免費

  Phyloview 是基於 perl 的 CGI 腳本，用於可視化蛋白質植物遺傳樹的分類特性。

• BioImageXD 免費

  BioImageXD - 用於分析、處理和3D渲染來自顯微鏡和其他來源的多維、多資料通道、時間序列圖像數據的自由開源軟體。

• Gastropod IR RT operator 免費

  Gastropod 是 Fortran 90 轉發和梯度例程庫，用於高光譜解析度紅外衛星探測儀的快速輻射傳輸計算。

• AutoShim 免費

  通過 PLS 回歸與反覆運算訓練和姿勢選擇建構分子對接活動預測模型的工具。描述符包括 （i） 停靠分數（s），（ii） 藥理量特徵，（iii） 決策樹學習的多特徵描述符。