Petri Net còn được gọi là PlaceTransitions Network (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 Place (vị trí) có dạng hình tròn biểu diễn trạng thái các điều kiện.
LOGO Công Nghệ Phần Mềm Đại Học Bách Khoa Đà Nẵng- Khoa Điện tử Viễn thông www.trungtamtinhoc.edu.vn Công Nghệ Phần Mềm LOGO Mạng Petri n iể Tr Kỹ thuật đặc tả kh ,c hu Mạng Petri n yể ,p ao gi n i hồ N www.trungtamtinhoc.edu.vn Vụ m hiệ Mô phỏng-Ví dụ Kỹ Thuật Đặc Tả LOGO Đặc tả hoạt động tiến hành giai đoạn khác tiến trình phần mềm Đặc tả yêu cầu Sự thống người sử dụng tương lai người thiết kế Đặc tả kiến thức hệ thống Sự thống người thiết kế người cài đặt Sự thống người sử dụng module người cài đặt lập Đặc tả module www.trungtamtinhoc.edu.vn trình module Kỹ Thuật Đặc Tả LOGO Một số kỹ thuật đặc tả: Máy trạng thái hữu hạn www.trungtamtinhoc.edu.vn Mạng Petri 44 Đặc tả Z Điều kiện trước sau… Mạng Petri Được đề xuất Carl Adam Petri vào năm 1962 Petri Net gọi Place/Transitions Network (mạng vị trí/chuyển tiếp) hiển thị đồ thị có hướng gồm có loại node: Transition (chuyển tiếp) có dạng hình chữ nhật hình vuông - biểu diễn kiện rời rạc xảy Place (vị trí) có dạng hình tròn - biểu diễn trạng thái điều kiện www.trungtamtinhoc.edu.vn LOGO MẠNG PETRI LOGO Thành phần: Các place transistion nối với đường nối (liên kết) Các place chứa số lượng token (thẻ) Token place biểu diễn dấu chấm www.trungtamtinhoc.edu.vn MẠNG PETRI LOGO Đường nối hai hướng thực tế hai đường nối chiều theo hai chiều ngược www.trungtamtinhoc.edu.vn MẠNG PETRI LOGO Ứng dụng: Thích hợp để mô tả hệ thống không đồng Mô tả luồn điều khiển hệ thống www.trungtamtinhoc.edu.vn Mạng Petri LOGO Mạng Petri cổ điển Mạng Petri mở rộng Phân Loại www.trungtamtinhoc.edu.vn Mạng Petri LOGO • Mạng Petri định nghĩa đánh dấu nút Mạng • • Petri Mỗi chuyển tiếp có nút vào (input place) nút (output place) Nếu tất nút vào chuyển tiếp có thẻ (Token), chuyển tiếp vượt qua • Việc đánh dấu nút tiến • thêm thẻ hành theo nguyên tắc sau: www.trungtamtinhoc.edu.vn Nếu chuyển tiếp thực hiện, nút vào thẻ, nút nhận • Nếu nhiều chuyển tiếp vượt qua, chọn chuyển tiếp Mạng Petri LOGO Một hình thức, mạng Petri định nghĩa sau: Trong đó: P = {p1, p2…pm} tập hữu hạn place PN = ( P, T, I, O, M0) T = {t1,t2,…tn} tập hữu hạn transition P∩ T = Ø I: (P x T) → N hàm vào O: (T x P) → N hàm M0: P x N trạng thái (marking) ban đầu www.trungtamtinhoc.edu.vn MẠNG PETRI LOGO Petri Net Hình với trạng thái ban đầu bước biểu diễn với thành phần sau: PN = (P, T, I, O, M0) P = {P1,P2,P3,P4} T = {T1,T2} Input place Output place M0 = (1,0, 0, 0)T www.trungtamtinhoc.edu.vn Cấu Trúc Mạng Petri LOGO Một chuỗi liên tiếp: ε1 ε2 Nhiều chuỗi thực đồng thời: ε2 ε3 ε3 ε1 ε4 www.trungtamtinhoc.edu.vn ε5 Cấu Trúc Mạng Petri LOGO Thực ngẫu nhiên, lựa chọn chuyển tiếp: e1, e2 … (C) Copyright 2001, Chris Ling www.trungtamtinhoc.edu.vn ε1 ε2 ε3 ε4 hay e3, e4 Cấu Trúc Mạng Petri LOGO • Đồng ε1 www.trungtamtinhoc.edu.vn Cấu Trúc Mạng Petri LOGO Đồng lúc ε1 www.trungtamtinhoc.edu.vn Ví Dụ LOGO www.trungtamtinhoc.edu.vn Ví Dụ LOGO Quá trời!! Khó không? www.trungtamtinhoc.edu.vn Ví Dụ LOGO No, No!! Do you know? www.trungtamtinhoc.edu.vn Mô LOGO Một số phần mền mô phỏng: Workcraft www.trungtamtinhoc.edu.vn PNEditor Mô LOGO Một số phần mền mô phỏng: PetriNet www.trungtamtinhoc.edu.vn PIPEv4.3.0 Mô LOGO Mô hình hệ thống cảnh báo xâm nhập www.trungtamtinhoc.edu.vn LOGO Thank You! www.trungtamtinhoc.edu.vn [...].. .Mạng Petri LOGO Một các hình thức, mạng Petri có thể định nghĩa như sau: Trong đó: P = {p1, p2…pm} là tập hữu hạn các place PN = ( P, T, I, O, M0) T = {t1,t2,…tn} là tập hữu hạn của transition P∩ T = Ø I: (P x T) → N là hàm vào O: (T x P) → N là hàm ra M0: P x N trạng thái (marking) ban đầu www.trungtamtinhoc.edu.vn MẠNG PETRI LOGO Petri Net trên Hình 1 với trạng thái... Trúc Mạng Petri LOGO • Đồng bộ ε1 www.trungtamtinhoc.edu.vn Cấu Trúc Mạng Petri LOGO Đồng bộ và cùng lúc ε1 www.trungtamtinhoc.edu.vn Ví Dụ LOGO www.trungtamtinhoc.edu.vn Ví Dụ LOGO Quá trời!! Khó không? www.trungtamtinhoc.edu.vn Ví Dụ LOGO No, No!! Do you know? www.trungtamtinhoc.edu.vn Mô phỏng LOGO Một số phần mền mô phỏng: Workcraft www.trungtamtinhoc.edu.vn PNEditor Mô phỏng LOGO Một số phần. .. trạng thái ban đầu là bước 1 được biểu diễn với các thành phần như sau: PN = (P, T, I, O, M0) 1 P = {P1,P2,P3,P4} 2 T = {T1,T2} 3 Input place 4 Output place 5 M0 = (1,0, 0, 0)T www.trungtamtinhoc.edu.vn Cấu Trúc Mạng Petri LOGO Một chuỗi liên tiếp: ε1 ε2 Nhiều chuỗi thực hiện đồng thời: ε2 ε3 ε3 ε1 ε4 www.trungtamtinhoc.edu.vn ε5 Cấu Trúc Mạng Petri LOGO Thực hiện ngẫu nhiên, lựa chọn giữa các chuyển... www.trungtamtinhoc.edu.vn Ví Dụ LOGO No, No!! Do you know? www.trungtamtinhoc.edu.vn Mô phỏng LOGO Một số phần mền mô phỏng: Workcraft www.trungtamtinhoc.edu.vn PNEditor Mô phỏng LOGO Một số phần mền mô phỏng: PetriNet www.trungtamtinhoc.edu.vn PIPEv4.3.0 Mô phỏng LOGO Mô hình hệ thống cảnh báo xâm nhập www.trungtamtinhoc.edu.vn LOGO Thank You! www.trungtamtinhoc.edu.vn ...Công Nghệ Phần Mềm LOGO Mạng Petri n iể Tr Kỹ thuật đặc tả kh ,c hu Mạng Petri n yể ,p ao gi n i hồ N www.trungtamtinhoc.edu.vn Vụ m hiệ Mô phỏng-Ví dụ Kỹ Thuật Đặc Tả LOGO Đặc tả hoạt động... trình module Kỹ Thuật Đặc Tả LOGO Một số kỹ thuật đặc tả: Máy trạng thái hữu hạn www.trungtamtinhoc.edu.vn Mạng Petri 44 Đặc tả Z Điều kiện trước sau… Mạng Petri Được đề xuất Carl Adam Petri vào... www.trungtamtinhoc.edu.vn MẠNG PETRI LOGO Ứng dụng: Thích hợp để mô tả hệ thống không đồng Mô tả luồn điều khiển hệ thống www.trungtamtinhoc.edu.vn Mạng Petri LOGO Mạng Petri cổ điển Mạng Petri mở rộng Phân