Xây dựng chương trình « biên dịch» trên vxwork
cho lập trình điều khiển bằng mạng Petri |
Tác giả hoặc Nhóm tác giả: Trần Đình Khôi Quốc; Dương Quốc Bảo |
Nơi đăng: Tạp chí Khoa học và Công nghệ các trường Đại học Kỹ thuật; Số: 69/2009;Từ->đến trang: 36-40;Năm: 2009 |
Lĩnh vực: Kỹ thuật; Loại: Bài báo khoa học; Thể loại: Trong nước |
TÓM TẮT |
Trên cơ sở phân tích các tính chất của hệ điều hành theo thời gian thực VxWorks, bài báo này đề xuất phương pháp xây dựng chương trình biên dịch giữa VxWorks và mạng Petri. Sơ đồ mô hình hóa theo cấu trúc mạng Petri vì vậy còn có khả năng điều khiển trên nền VxWorks. Một ví dụ đơn giản trong điều khiển robot được sử dụng để minh họa cho việc mô hình hóa bằng mạng Petri và phương pháp xây dựng chương trình biên dịch. |
ABSTRACT |
By analyzing properties of VxWorks – a real time operation system, this article proposes a method for building a compiler between VxWorks and Petri net. So the structure modeling by Petri net is now controllable on VxWorks. A simple example on robot control is used to illustrate how to model a structure on Petri net and how to build a compiler. |