tailieunhanh - Hệ điều khiển nhúng - PETRI NET

Mở đầu. Mô hình hóa là phương pháp xây dựng mô hình toán học của hệ thống bằng cách phân tích hệ thống thành các khối chức năng, trong đó mô hình toán học của các khối chức năng đã biết hoặc có thể rút ra được dựa vào các quy luật hóa lý. | p f p f p f p f p f I p J I ij J I p J I p I p I pp I pp P PPP Jl Hệ điều khiển nhúng với PETRI NET I yp J I yp j J I yp j J I yp j J I yp j J I yp j J I p yp J I p yp J I. Mở đầu. Mô hình hóa là phương pháp xây dựng mô hình toán học của hệ thống bằng cách phân tích hệ thống thành các khối chức năng trong đó mô hình toán học của các khối chức năng đã biết hoặc có thể rút ra được dựa vào các quy luật hóa lý. Mô hình hệ thống được xây dựng dựa trên cơ sở liên kết các khối chức năng. Trên cơ sở mô hình hóa có thể kiểm tra đánh giá kết quả xem hệ thống có phù hợp với yêu cầu hay không. Nên mô hình hóa hệ thống giúp đánh giá tính thực tiễn của các công việc định làm từ đó đưa ra phương án lựa chọn tốt nhất dành cho hệ thống. Để mô hình hóa hệ thống có thể sử dụng rất nhiều hướng khác nhau như hướng cấu trúc hướng dữ liệu hướng đối tượng Petri Net lưới Petri Net .. Trong đó Petri Net là ngôn ngữ mô hình hóa dùng để đặc tả các hệ thống phân tán rời rạc. Petri Net được phát minh vào năm 1962 bởi Carl Adam Petri nhằm mục đích mô tả các quá trình hóa học. Ngày nay Petri Net đã được phát triển rất mạnh mẽ đã được ứng dụng rất rộng rãi trong rất nhiều lĩnh vực khác nhau như sinh học hóa học môi trường kỹ thuật truyền thông điều khiển hệ thống sản xuất robot 1 2 .. Trong nội dung bài báo này chúng tôi sẽ giới thiệu Petri Net cơ bản và sử dụng nó để mô hình hóa các hệ điều khiển nhúng cụ thể là hệ thống nhà thông minh. II. Petri Net Petri Net còn được gọi là Place Transitions Networks mạng vị trí chuyển tiếp và được hiển thị bằng đồ thị có hướng gồm có 2 loại node Transition chuyển tiếp có dạng hình chữ nhật hoặc hình vuông -biểu diễn các sự kiện rời rạc có thể xảy ra. Hình 1. Ví dụ minh họa về Petri Net Place vị trí có dạng hình tròn -biểu diễn trạng thái các điều kiện. Ví dụ minh họa ở Hình 1 Petri Net có 4 place 2 transition. Các place và transistion được nối với nhau bằng các đường nối liên kết . Chỉ có thể nối place với transition không thể nối giữa hai place hoặc .