A STRUCTURAL CONTROLLER DESGIN FOR REVERSIBILITY ENFORCEMENT IN COLORED PETRI NETS
Gökhan TONGA
Danışman: Doç. Dr. Aydın AYBAR
Elektrik-Elektronik Mühendisliği
Mühendislik-Mimarlık Fakültesi, Anadolu Üniversitesi
İki Eylül Kampusu, 26555, Eskişehir
Since the behavioural and structural properties are defined for Petri nets models, there exists the control approaches for these properties. Reversibility, which is one of the basic properties of Petri nets, is selected as the desired property in this work. This property can be described that a system can reach to the initial state from any state. Also, reversibility has been one of the major researh subjects of the discrete-event systems. In the literature, the behavioural approach and the structural approach have been two main control approaches for the generalized Petri nets. Once the construction of the reachability set is a necessity for the behavioral approach, the determination of invariants is a requirement for the structural approach.
PROJE FUARI 2009
________________________________________________________________
Dostları ilə paylaş: |
