Deterministic -free Petri Net Languages and Their Application to the Supervisory Control of Discrete Event Dynamic Systems
نویسنده
چکیده
In this paper we introduce a family of languages called Deterministic-free Petri net languages (DPNLs) 5]. We show that the controllability of a DPNL K with respect to a DPNL L is decidable. That is, it is possible to decide if (i) K L, and (ii) KK u \ L K, where = u c and u \ c = ;. We also show that this family of languages strictly includes the family of Free-labeled Petri net languages (FLPNLs), another family of languages where the controllability of one language with respect to another is decidable 9]. Essentially this paper is an extension of reference 9].
منابع مشابه
Time Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملPetri Nets as Discrete Event Models for Supervisory Control
Discrete event systems represents a new field of control theory of increasing importance in the domains of manufacturing, communications, and robotics. Supervisory Control theory, based on formal languages, is a well established framework for the study of discrete event systems. The thesis discusses the use of Petri nets in Supervisory Control. Place/Transition nets have been used by several au...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملSupervisory Control of Deterministic Petri Nets with Regular Speciication Languages
Algorithms for computing a minimally restrictive control in the context of supervisory control of discrete event systems have been well developed when both the plant and the desired behavior are given as regular languages. In this paper we extend such prior results by presenting an algorithm for computing a minimally restrictive control when the plant behavior is a deterministic Petri net langu...
متن کامل