Petri Net to Automaton Converter (GAP)
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://pn2a.svn.sourceforge.net/
Về Petri Net to Automaton Converter (GAP)
Gói GAP nhỏ để chuyển đổi lưới Petri thành automata trạng thái hữu hạn và các nhóm bán rã chuyển đổi.
Các chương trình liên quan
-
Teachers Helper Miễn phí
Giáo viên Trợ giúp sẽ giúp bất kỳ giáo viên lập kế hoạch, theo dõi, quản lý các dự án, học sinh, bài tập ở nhà, và bài tập trên lớp cho bất kỳ chủ đề.
-
ICE Cafe Miễn phí
ICE Cafe là mở sourse chuỗi cromatgram alginer và người xem. Mục đích đầu tiên của phần mềm này là tìm một chỉnh sửa RNA bằng cách so sánh trình tự gen với trình tự RNA, hoặc bằng cách sử dụng phương pháp ICE được phát triển
-
TesT & RedactoR 7 Dùng thử miễn phí
Programm để tạo và vượt qua các bài kiểm tra / kỳ thi / câu đố. Bao gồm hai ứng dụng: TesT - programm để thử nghiệm (phần mềm miễn phí) RedactoR - programm để tạo và chỉnh sửa các bài kiểm tra (shareware với thời gian dùng th
-
YAUCP, Yet Another uController Project Miễn phí
yaucp, Tuy nhiên, một dự án uController. Là một tập hợp các công cụ và nguồn mã và thông tin để phát triển cho các gia đình AVR của vi điều khiển dưới Linux chỉ sử dụng các công cụ tương thích GPL, phát hành theo GPL.
-
Inwicast Mediacenter Miễn phí
Inwicast Mediacenter thêm khả năng đa phương tiện để Claroline và Moodle để giáo viên có thể dễ dàng xuất bản, quản lý và chia sẻ âm thanh và video podcast trong các định dạng khác nhau. Inwicast Mediacenter cũng có thể quản
-
EQUIL Miễn phí
EQUIL (Electronic Queuing of Users In Labs) là một hệ thống được thiết kế để làm cho công việc quản lý sinh viên trong các phiên phòng thí nghiệm hiệu quả hơn, có trật tự và dân chủ hơn.
-
PhyloView Miễn phí
Phyloview là một kịch bản CGI dựa trên perl để trực quan hóa tính chất phân loại của cây phát sinh loài protein.
-
BioImageXD Miễn phí
BioImageXD - phần mềm mã nguồn mở miễn phí để phân tích, xử lý và hiển thị 3D đa chiều, đa kênh dữ liệu, dữ liệu hình ảnh chuỗi thời gian từ kính hiển vi và các nguồn khác.
-
Gastropod IR RT operator Miễn phí
Gastropod là một thư viện Fortran 90 của thói quen chuyển tiếp và gradient cho các tính toán chuyển bức xạ nhanh cho sounders vệ tinh hồng ngoại độ phân giải cao.
-
AutoShim Miễn phí
Các công cụ để xây dựng các mô hình dự đoán hoạt động nối phân tử bằng cách hồi quy PLS với đào tạo lặp đi lặp lại và lựa chọn tư thế. Mô tả bao gồm (i) docking score(s), (ii) pharmacophore features, (iii) multi-feature descr