軟件特色
輕量化與高效性
體積小巧：解壓后直接運行，無需復雜配置，適合資源有限的設備。
快速響應：基于 Java 引擎優化，仿真與分析流程流暢，減少等待時間。
靈活的操作模式
文本與圖形雙模式：支持通過 .net 格式文本描述模型，或直接繪制圖形化 Petri 網，滿足不同用戶習慣。
多格式兼容：可導入/導出多種文件格式（如 .ndr、.adr），便于與其他工具協作。
專業功能集成
自動機支持：除 Petri 網外，還支持有限狀態自動機（FSM）的編輯與仿真，擴展應用場景。
命令行交互：通過命令行標志控制分析流程，適合批量處理或自動化腳本集成。
核心功能
模型構建與編輯
圖形化繪圖：拖拽庫所（Places）、變遷（Transitions）、弧線（Arcs）等元素，快速構建 Petri 網模型。
文本編輯綁定：通過 TK 文本小部件直接編輯 .net 格式文本，支持語法高亮與自動格式化。
仿真與分析工具
可達性分析：生成狀態空間圖，驗證系統是否可達目標狀態。
死鎖檢測：自動識別模型中的死鎖狀態，輔助優化設計。
協議驗證：模擬協議執行流程，檢測邏輯錯誤或性能瓶頸。
格式轉換與導出
圖形轉文本：將圖形化模型轉換為 .net 或 .ndr 格式文本，便于存檔或進一步編輯。
文本轉圖形：反向操作，將文本描述轉換為可視化模型，提升可讀性。
常見問題及解決方案
軟件無法啟動
原因：未安裝 Java 環境或版本不兼容。
解決：下載并安裝最新版 Java 運行時環境（JRE），或升級至 64 位系統兼容版本。
模型仿真結果異常
原因：模型邏輯錯誤（如弧線方向錯誤、初始標記設置不當）。
解決：檢查模型結構，確保變遷觸發條件與庫所標記匹配；使用 死鎖檢測工具 定位問題節點。
Tina Toolbox更新日志：
1.修復BUG，新版體驗更佳
2.更改了部分頁面
您的評論需要經過審核才能顯示