Supervisor simplification for AMS based on petri nets and inequality analysis

In the framework of automated manufacturing systems (AMS), Petri nets are widely used to model, analyze, and control them. Resolving deadlocks is of paramount significance because their emergence may likely zero a systems throughput, if not necessarily. Supervisory control technique is the most wide...

Full description

Bibliographic Details
Main Authors: Hu, Hesuan, Liu, Yang
Other Authors: School of Computer Engineering
Format: Journal Article
Language:English
Published: 2014
Subjects:
Online Access:https://hdl.handle.net/10356/102332
http://hdl.handle.net/10220/18956