Mô hình mạng Petri

Mạng Petri, còn được gọi là mạng địa điểm/chuyển tiếp (PT), là một trong một sổ ngôn ngừ mô hình hóa toán học được phát minh bởi nhà khoa học máy tính người Đức Carl Adam Petri trong luận án tiến sĩ năm 1962 của ông về K Truyền thông mít Automaten. Kể từ đó, Petri Net đã được phát triển và ứng dụng rộng rãi để mô hình hóa, phân tích và tối ưu hóa các hệ thống trong nhiều lĩnh vực như: Công nghệ thông tin, điện tử viễn thông, giao thông vận tải, hóa sinh, y tế, hệ thong sàn xuất, kinh tế...

13p mitmit01 18-05-2023 17 5   Download

Bài viết Petri Net và ứng dụng trong mô hình hóa, phân tích các hệ thống sản xuất trình bày việc cung cấp kiến thức cơ bản về mạng Petri; Các ứng dụng của các loại Petri Net trong các hệ thống sản xuất.

13p vifalcon 16-05-2023 16 4   Download

Tóm tắt Luận án Tiến sĩ Khoa học máy tính "Một cách tiếp cận hình thức trong việc mô hình hóa tham số động cho bài toán kiểm tra tắc nghẽn trên mạng cảm biến không dây" trình bày việc đề xuất mô hình WSN-CPN một mô hình mạng cảm biến không dây bằng ngôn ngữ Coloured Petri Net; Đề xuất mô hình động PDP-WSN-CPNcho phép người dùng tùy chỉnh các thông số trong mạng và phát hiện nghẽn chính xác hơn với xác suất nghẽn; Xây dựng công cụ CODE-WSN thực thi tất cả các mô hình trên.

8p vilucius 03-03-2023 3 2   Download

Bài viết Xây dựng chương trình chuyển đổi một số đối tượng của biểu đồ trình tự sang mạng Petri hàng đợi trình bày cách xây dựng chương trình chuyển đổi tự động một số đối tượng trong biểu đồ trình tự sang mạng Petri hàng đợi. Cách tiếp cận được trình bày trong bài viết có thể được sử dụng để chuyển đổi tự động một biểu đồ trình tự phức hợp thành mạng Petri hàng đợi.

8p vilexus 05-10-2022 13 3   Download

Bài viết sử dụng mạng Petri màu phân cấp để mô hình hóa tiến trình nghiệp vụ của hệ thống Cửa hàng trực tuyến, đồng thời phát triển PyCPN, một công cụ mô hình hóa sử dụng mạng Petri màu phân cấp, để mô tả mô hình.

8p visteveballmer 06-11-2021 27 1   Download

Bài viết trình bày phương pháp sử dụng mạng Petri để mô hình hóa và điều khiển hệ thống sản xuất tự động. Trên cơ sở mô hình mạng Petri, các phương pháp mô hình hóa cấu trúc điều khiển logic bằng mạng Petri được đề xuất.

9p vinevada2711 19-03-2021 40 4   Download

Từ các mô hình Petri net người thiết kế có thể dễ dàng viết các hàm logic phức tạp trong các chương trình HDL. Bài báo này đề xuất sử dụng mạng Petri thời gian ngẫu nhiên (SPN) và thời gian ngẫu nhiên chung (GSPN) để mô hình hóa và viết các chương trình VHDL để thiết kế các mạch số.

8p thithizone 16-07-2019 55 2   Download

Bài viết này đưa ra phương pháp phân tích hiệu năng của kiến trúc Internet Web caching theo hướng tiếp cận dựa trên mạng Petri nhằm mục tiêu tối ưu hóa kiến trúc Internet Web caching để cải thiện tốc độ truy cập Web và sử dụng các dịch vụ đa phương tiện trên mạng Internet.

9p viengland2711 23-07-2019 50 7   Download

Đối với các hệ thống phức tạp do khả năng hạn chế trong việc biểu diễn các quan hệ tương tranh (concurrency), đồng bộ (synchronization) cũng như các hoạt động nội tại của server nên phương pháp sử dụng mạng hàng đợi không đáng tin cậy. Trong bối cảnh đó, phương pháp sử dụng mạng Petri để mô phỏng hệ thống, sau đó, trên cơ sở phân tích cây trạng thái (được thể hiện thông qua tập hình trạng của mạng) để rút ra các kết quả đánh giá hiệu năng cả về định tính và định......

10p 0984272663 28-04-2011 289 62   Download

Khái niệm đặc tả: Đặc tả (specification) định nghĩa một hệ thống, mô đun hay một sản phẩm cần phải làm cái gì, không mô tả nó phải làm như thế nào, mô tả những tính chất của vấn đề đặt ra, không mô tả những tính chất của giải pháp cho vấn đề đó

23p ke_ham_hoc 26-10-2010 405 64   Download

SAPHIR là mô hình của một dây chuyền phân loại và lắp ráp tự động trong một nhà máy sản xuất, được lắp đặt tại phòng thí nghiệm CRePA của PFIEV. SAPHIR có 3 phần: mâm quay cân, băng chuyền, cánh tay rôbôt. Hệ thống cân (ảnh minh họa), được điều khiển bằng VxWorks, thực hiện phân loại và cấp chi tiết vào băng chuyền. Băng chuyền (điều khiển bằng PLC TSX Premium) sẽ vận chuyển các chi tiết đến cánh tay rôbôt. Giống như mâm – cân,cánh tay rôbôt cũng được điều khiển bằng VxWorks, nó sẽ thực hiện...

6p thaonhi 18-06-2009 438 114   Download