Luận văn Hệ thống hỗ trợ kiểm tra tính đúng đắn của mô hình DFD
Mạng Petri cơ bản được xây dựng bởi Carl Adam [1], mạng đầu tiên này được gọi là mạng CE (Condition/Event) trong mô hình này mỗi place chứa nhiều nhất là một token (khái niệm place và token sẽ được giải thích bên dưới), để khắc phục hạn chế này, nhiều tác giả đã mở rộng theo các hướng khác nhau tạo thành nhiều dạng phong phú của mạng Petri,
Bạn đang xem nội dung tài liệu Luận văn Hệ thống hỗ trợ kiểm tra tính đúng đắn của mô hình DFD, để tải tài liệu về máy bạn click vào nút DOWNLOAD ở trên
Các file đính kèm theo tài liệu này:
4.pdf- 0.pdf
- 1.pdf
- 2.pdf
- 3.pdf
- 5.pdf
- 6.pdf
- 7.pdf
- 8.pdf
- 9.pdf
