Controller design on petri nets using overlapping decompositions and expansion

Petri nets, vector-forms, automatas, and formal languages, which are modeling methods for discrete event systems, are studied. Overlapping de compositions and expansions which have been used for continuous state sys tems and for discrete state systems modelled using vector-forms are applied to Petri nets, automatas and formal languages in this study for the first time. Inclusion principle for Petri nets, automatas and formal languages is also defined in this study for the first time. Decentralized supervisory controller design methods based on overlapping decompositions are developed for Petri nets and automatas. The controllers which are designed using these methods guaranty deadlock avoidance. Furthermore a design method for a deadlock- free formal language is also purposed in this study.Keywords: Discrete Event Systems, Petri Nets, Overlapping Decompositions, Inclusion Principle, Decentralized Control