Ngôn ngữ lập trình_Grafcet

Trong lập trình điều khiển dùng PLC (bộ điều khiển khả trình), Grafcet là một trong 5 ngôn ngữ chính thức được công nhận và được biết dưới tên gọi bằng tiếng Anh là SFC (Sequential Function Chart c a tiêu chu n IEC 1131-3).
Nội dung trích xuất từ tài liệu:
Ngôn ngữ lập trình_Grafcet 282.2. NGÔN NGỮ LẬP TRÌNH GRAFCET2.2.1. Tổng quan về Grafcet Trong lập trình điều khiển dùng PLC (bộ điều khiển khả trình), Grafcet làmột trong 5 ngôn ngữ chính thức được công nhận và được biết dưới tên gọi bằngtiếng Anh là SFC (Sequential Function Chart của tiêu chuẩn IEC 1131-3) Grafcet là từ viết tắt của tiếng Pháp: Graphe Fonctionnel de Commande desEtapes et Transitions (đồ hình điều khiển bước - chuyển tiếp) do hai cơ quanAFCET (Liên hiệp Pháp về tin học kinh tế và kỹ thuật) và ADEPA (Tổ chức nhànước về phát triển nền sản xuất tự động hóa) hợp tác soạn thảo ra từ tháng11/1982. Có thể nói Grafcet là một dạng đặc biệt của mạng Petri, trong đó tất cả cácvị trí đều có số token bằng 1. Điều này có nghĩa là các nguyên tắc chuyển đổitrạng thái trong Grafcet tương tự như mạng Petri. Grafcet là ngôn ngữ lập trình bằng biểu đồ để mô tả các hoạt động của hệthống điều khiển trình tự. Được xây dựng trên các bước và các chuyển tiếp, mỗibước (tương ứng với một vị trí trong mạng Petri) diễn tả trạng thái mà tại đó ứngxử của hệ thống được xác định bởi tác động gắn liền với bước đó. Mỗi chuyểntiếp (tương ứng chuyển tiếp của mạng Petri) thể hiện điều kiện chuyển trạngthái của hệ thống, chuyển tiếp gắn liền với một điều kiện. - Dòng điều khiển chuyển từ bước này sang bước kế tiếp thông quachuyển tiếp có điều kiện. Nếu điều kiện chuyển tiếp là đúng thì dòng điều khiểnsẽ chuyển từ bước này sang bước kế tiếp ... - Chức năng điều khiển ở bất cứ mức nào đều có thể biểu diễn bởi mộtnhóm bước và các chuyển tiếp được gọi là biểu đồ chức năng. Sau đó những biểuđồ này có thể được kết nối lẫn nhau theo trình tự yêu cầu, bởi các liên kết cóhướng biểu diễn dòng điều khiển nhằm tạo nên một biểu đồ Grafcet hoàn chỉnh. 29 2.2.2. Các thành phần đồ hình của Grafcet 1 B ước mở đầu Liên kế có hướng t a Tác độ gắn ng 2 B ước ACTIONS liề với bước n Điề kiệ gắn liề u n n b Chuyể tiế np với chuyể tiế np Hình 2.1 Các thành phần đồ hình của Grafcet 2.2.2.1. Các bước (Step) Bước là thành phần ngôn ngữ Grafcet, được dùng để xác định trạng thái của một phần hoặc toàn bộ hệ thống. Tại một thời điểm một bước có thể là tích cực hoặc không tích cực. Tập hợp các bước tích cực xác định tình trạng của hệ thống đã cho tại thời điểm nào đó. Bước: Mỗi bước được biểu diễn bằng hình vuông nét* đơn, có con số ở nữa trên thay thế dấu *. 1 Ví dụ: Bước 1 - Mỗi bước có đầu vào và đầu ra 2 Ví dụ: Bước 2 - Để chỉ một bước là tích cực tại thời điểm xác định, ta đánh dấu chấm đen vào bên dưới con số chỉ bước. Ký hiệu này xuất phát từ việc đánh dấu token trong mạng Petri. 3 Ví dụ: Bước 3 biểu diễn ở trạng thái tích cực Biến bước: Trạng thái tích cực và không tích cực của X* bước có thể được biểu thị bằng các giá trị logic 1 hoặc 30 0 . Ví dụ : Biến bước của bước thứ 8 X8 X8 =1 và x 8 =0 khi bước 8 tích cực. X8 =0 và x 8 =1 khi bước 8 không tích cực. Bước mở đầu: được biểu diễn bằng hình vuông nét * đôi. Bước này là ở trạng thái tích cực khi bắt đầu quá trình hoạt động của Grafcet. 3 Ví dụ: Bước mở đầu 3 Các kết nối đầu vào và đầu ra của ...