Thời gian thực - hệ thống P8

Chia sẻ: Va Line Line | Ngày: | Loại File: PDF | Số trang:25

lượt xem

Thời gian thực - hệ thống P8

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

TIMED PETRI NETS Petri nets were developed as an operational formalism for specifying untimed concurrent systems. They can show concurrent activities by depicting control and data flows in different parts of the modeled system. As an operational formalism, a Petri net gives a dynamic representation of the state of a system through the use of moving tokens. The original, classical, untimed Petri nets have been used successfully to model a variety of industrial systems. More recently, time extensions of Petri nets have been developed to model and analyze time-dependent or real-time systems....

Chủ đề:

Nội dung Text: Thời gian thực - hệ thống P8

Đồng bộ tài khoản