55 tr. + CD-ROMLuận văn ThS. Bảo đảm toán học cho máy tính và hệ thống tính toán -- Trường Đại học Khoa học Tự nhiên. Đại học Quốc gia Hà Nội, 2012Trì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 c (...)Electronic Resources
Readership Map
Content Distribution
55 tr. + CD-ROMLuận văn ThS. Bảo đảm toán học cho máy tính và hệ thống tính toán -- Trường Đại học Khoa học Tự nhiên. Đại học Quốc gia Hà Nội, 2012Trì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 c (...)Electronic Resources