Mạng petri (Petri nets) là một kiểu biểu đồ gồm các thành phần cơ bản sau:
- Vị trí (phaces): Biểu diễn các trạng thái hoạt động cĩ thể cĩ của một thiết bị trong hệ thống sản xuất. Nĩ được ký hiệu bằng một vịng trịn và trong đĩ cĩ chứa một hoặc một số dấu chấm () mà đặc trưng cho sự hoạt động của hệ thống.
- Chuyển tiếp (Transition): Biểu diễn các thao tác hay hành động theo trình tự hoạt động của thiết bị trong hệ thống. Nĩ được ký hiệu bằng một hình chữ nhật hay cĩ thể là một gạch ngang.
- Cung nối (Arc): Chỉ hướng hoạt động của hệ thống bằng sự liên kết giữa vị trí và chuyển tiếp cũng như giữa chuyển tiếp và vị trí. Một cung khơng bao giờ liên kết giữa hai tập hợp cĩ cùng bản chất ví dụ như khơng liên kết giữa vị trí và vị trí. Trên cung cĩ thể cĩ các đoạn thẳng song song đặc trưng cho khả năng về trọng lượng được chuyển trên các cung theo một hướng xác định. Nếu khơng cĩ đoạn thẳng nào trên cung cĩ nghĩa là cung đĩ cĩ trọng lượng bằng một
4.1.2 Hoạt động của mạng petri.
Như đã nĩi ở trên, các chuyển tiếp là khả năng chuyển trạng thái của các hoạt động từ các chuyển tiếp sang vị trí và từ vị trí sang chuyển tiếp. Do vậy hoạt động của mạng petri cĩ thể biểu diễn như sau:
0t là tập hợp các vị trí đi vào chuyển tiếp t, (p,t) ∈ A. t0 là tập hợp các vị trí đi ra khỏi chuyển tiếp t, (p,t) ∈ A.
0p là tập hợp các chuyển tiếp đi vào vị trí p, (p,t) ∈ A. p0 là tập hợp các chuyển tiếp đi ra khỏi vị tríp, (p,t) ∈ A. Một chuyển tiếp được gọi là khả tiếp ( cĩ thể vượt qua) nếu hoặc p ∈ 0t, M(p)≥ W(p,t) hoặt theo cách khác nếu tất cả các vị trí đi vào p từ t chứa số dấu chấm () ít hơn hàm trọng lượng ở cung liên kết từ p đến t. Do vậy trong trường hợp của mạng petri thơng thường, chỉ cần tất cả các vị trí đi vào chứa ít hơn một dấu chấm () thì cĩ khả năng chuyển tiếp.