loading
Sách, tuyển tập

Một số tính chất của mạng Petri và ứng dụng / Bùi, Việt Hải

Tác giả : Bùi, Việt Hải

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2012

Chủ đề : 1. Hệ thống tính toán. 2. Mạng Petri. 3. Toán tin. 4. Thesis.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Trình bày các khái niệm cơ bản về mạng Petri cơ sở và mạng các hệ điều kiện – biến cố cũng như các quá trình của hệ điều kiện – biến cố. Nghiên cứu về mạng vị trí/chuyển và các tính chất của mạng Petri gồm tính chất phụ thuộc bộ đánh dấu đầu tiên và tính chất không phụ thuộc vào bộ đánh dấu đầu tiên. Tìm hiểu một số tính chất điển hình của mạng Petri được đề cập là “tính bị chặn”, “tính an toàn”, “tính sống”, “tính tắc nghẽn” và “tính thuận nghịch”. Ttrình bày ứng dụng của lý thuyết mạng Petri kết hợp với lập trình hướng đối tượng tương tranh và một ứng dụng cụ thể là mô hình Đối tượng hợp tác CoOperative Objects để giải quyết bài toán tương tranh “Bữa ăn tối của các nhà triết học”.
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Đại học quốc gia Hà Nội
https://repository.vnu.edu.vn/handle/VNU_123/8349