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

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
ai
hu

Mạng Petri

n
yể
,p
ao
gi

n
hả
i
hồ

N

www.trungtamtinhoc.edu.vn

Vụ
m
hiệ

Mô phỏng-Ví dụ


Kỹ Thuật Đặc Tả
LOGO

Đặ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.

Đặc tả yêu cầu

Sự thống nhất giữa những người sử dụng tương lai và những người
thiết kế.

Đặc tả kiến thức hệ thống

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
Đặc tả module

www.trungtamtinhoc.edu.vn

trình module.


Kỹ Thuật Đặc Tả
LOGO

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

1

Máy trạng thái
hữu hạn

www.trungtamtinhoc.edu.vn

2

Mạng Petri

44

3

Đặc tả Z

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


Mạng Petri
Được đề xuất bởi Carl Adam Petri vào năm 1962
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:

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.

www.trungtamtinhoc.edu.vn

LOGO


MẠNG PETRI
LOGO

Thành phần:

Các place và transistion được nối với nhau bằng các đường nối (liên kết)

Các place có thể chứa một số lượng các token (thẻ) nào đó. Token trong place
được biểu diễn bằng dấu chấm.

www.trungtamtinhoc.edu.vn


MẠNG PETRI
LOGO

Đườ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.

www.trungtamtinhoc.edu.vn


MẠNG PETRI
LOGO

Ứng dụng:

Thích hợp để mô tả các hệ thống không đồng bộ.

Mô tả luồn điều khiển của 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 được định nghĩa bởi sự đánh dấu các nút của

Mạng

nó.

•
•

Petri

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

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.

•

Việc đánh dấu các
nút được tiến

•

thêm một thẻ.

hành theo nguyên
tắc sau:

www.trungtamtinhoc.edu.vn

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

•

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.


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 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 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 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 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