Cộng nghệ phần mềm Kỹ Thuật Đặc Tả Mạng Petri

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.

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

Tri ển kh

ai, ch uy

ển g iao , p hả

n h ồi

Sự thống nhất giữa những người thiết kế

và người cài đặt

Sự thống nhất giữa những người sử dụng module và người cài đặt lập trình

Đặc tả là hoạt động được tiến hành trong các giai đoạn khác nhau của tiến trình phần mềm

Một số kỹ thuật đặc tả:

Điều kiện trước và sau…

4

MẠNG PETRI

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

Petri Net còn được gọi là Place/Transitions 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:

Place (vị trí) có dạng hình tròn - biểu diễn trạng thái các điều kiện.

Được đề xuất bởi Carl Adam Petri vào năm 1962

MẠNG PETRI

Đường nối hai hướng trong thực tế là hai đường nối một chiều theo hai chiều ngược nhau.

MẠNG PETRI

Mạng Petri

Phân Loại

Mạng Petri mở rộng Mạng Petri cổ điển

nguyên tắc sau:

• Mỗi chuyển tiếp có các nút vào (input place)

và nút ra (output place).

Mạng

Petri • Nếu tất cả các nút vào của chuyển tiếp có ít

nhất một thẻ (Token), thì chuyển tiếp này có thể vượt qua được

• Nếu một chuyển tiếp được thực hiện, thì tại nút vào mất một thẻ, nút ra nhận thêm một thẻ.

• Nếu nhiều chuyển tiếp có thể vượt qua, thì chọn chuyển tiếp nào cũng được

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

www.trungtamtinhoc.edu.vn

Petri Net trên Hình 1 với 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:

Cấu Trúc Mạng Petri

 Một chuỗi liên tiếp:

 Nhiều chuỗi thực hiện đồng thời:e1 e2 e3

www.trungtamtinhoc.edu.vn (C) Copyright 2001, Chris Ling

Cấu Trúc Mạng Petri

 Thực hiện ngẫu nhiên, lựa chọn giữa các

chuyển tiếp: e1, e2 … hay e3, e4

Cấu Trúc Mạng Petri

• Đồng bộ

e1

Ví Dụ

Ví Dụ

No, No!!

Một số phần mền mô phỏng:

MÔ PHỎNG

www.trungtamtinhoc.edu.vn

Mô hình hệ thống cảnh báo xâm nhập

MÔ PHỎNG

Thank You!

Thank You!