Coordinating concurrency to avoid forbidden states in condition models
Dept. of Electr. Eng., Kentucky Univ., Lexington, KY, USADOI: 10.1109/ETFA.2003.1247692 Conference: Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference, Volume: 1
Source: IEEE Xplore
This paper presents a new way of avoiding and getting around forbidden states in condition models that are used in automated control synthesis of manufacturing systems. The desired high-level behavior of the system is specified by a condition system Petri net called the "Specnet". The forbidden states are defined by a condition system Petri net called "Forbidden condition net". Our manufacturing system is defined by a set of interacting components, which are specified by component models. The high level Spec net is analyzed by a software tool, which converts it to an executable file, which is input to the controller, to control the manufacturing system. In this paper we introduce a new method to avoid and get around forbidden states, by taking the Specnet and the Forbidden condition net as inputs and analyzing the Specnet for the reachability of Forbidden markings, making necessary changes automatically (if needed) in the Specnet, to avoid reaching Forbidden markings, while maintaining the desired high level behavior of the system as defined by the original Specnet.
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.