Abstract
Robust formal specification of control logic is vital for efficient developmentof discrete-event control software for real-time manufacturing systems.This paper classifies real-time control specification methodologies into three types based on their levels of abstraction. Representative methodologies in each class are briefly introduced, including a new methodology called discrete-event control networks (DECN). An example of a manufacturing discrete-event control system is presented and the logic is developed under each of the methodologies for comparison. The desirable characteristics and functions of real-time manufacturing systems specifications are identified. The paper then discusses the relative abilities of the representative methodologies to address these characteristics.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Computer Integrated Manufacturing
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
