Results (1)
Search Parameters:
Keyword: Ladder logic diagramOpen AccessArticle
12 Pages, 1,129 KB 
Design of Petri Net Supervisor with 1-monitor place for a Class of Behavioral Constraints
Abstract:
This paper studies the design of supervisory controllers with a minimum number of monitor places for Manufacturing System modeled as safe Petri Nets. The proposed approach considers a class of safety specifications known as Behavioral Constraints with a restricted syntax. The set of Behavioral Constraints are represented as predicate logic formulas in normal conjunctive form.…
Read More(This article belongs to Section Interdisciplinary Applications of Mathematics (MIA))