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

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 | Real-Time Systems Scheduling Analysis and Verification. Albert M. K. Cheng Copyright 2002 John Wiley Sons Inc. ISBN 0-471-18406-3 CHAPTER 8 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. The fact that Petri nets can show the different active components of the modeled system at different stages of execution or at different instants of time makes this formalism especially attractive for modeling embedded systems that interact with the external environment. UNTIMED PETRI NETS A Petri net or place-transition net consists of four basic components places transitions directed arcs and tokens. A place is a state the specified system or part of it may be in. The arcs connect transitions to places and places to transitions. If an arc goes from a place to a transition the place is an input for that transition and the arc is an input arc to that transition. If an arc goes from a transition to a place the place is an output for that transition and the arc is an output arc from that transition. More than one arc may exist from a place to a transition indicating the input place s multiplicity. A place may be empty or may contain one or more tokens. The state of a Petri net is defined by the number of tokens in each place known as the marking and represented by a marking vector M. M i is the number of tokens in place i. 212 UNTIMED PETRI NETS 213 Graphically circles denote places bars represent transitions arrows denote arcs and heavy dots .

• Kĩ thuật Viễn thông
• Hệ thống thời gian
• thời gian thực
• phân tích thời gian
• xác minh thời gian
• phân phối hệ thống
• Nguyên lý hệ điều hành
• Hệ thời gian thực
• Hệ điều hành thời gian thực
• Kỹ thuật lập trình thời gian thực
• Thiết kế ứng dụng thời gian thực
• Ứng dụng thời gian thực
• Hệ thống thời gian thực hành
• Dự án làm xe tự hành
• Xe tự hành
• Cấu tạo một hệ thống thời gian thực
• Bài giảng Hệ thống thông tin công nghiệp
• Hệ thống thông tin công nghiệp
• Mạng truyền thông công nghiệp
• Vấn đề thời gian thực
• Xử lý thời gian thực
• Bài giảng Xử lý số tín hiệu
• Xử lý số tín hiệu
• Hệ thống thời gian rời rạc
• Hệ thống rời rạc thời gian
• Hệ thống tuyến tính
• Hệ thống bất biến
• Kết hợp lựa chọn Ăng ten phát
• Mã không gian thời gian phân tán
• Hệ thống vô tuyến chuyển tiếp MIMO
• Kỹ thuật chọn lọc ăng ten phát
• Mạng chuyển tiếp vô tuyến
• Lựa chọn ăng ten phát
• Mã không gian thời gian
• hệ thống thời gian thực
• ứng dụng thời gian
• nhiệm vụ độc lập
• nhiệm vụ phụ thuộc