Skip to main content
padlock icon - secure page this page is secure

Application of graphical specification methodologies to manufacturing control logic development: a classification and comparison

Buy Article:

$61.00 + tax (Refund Policy)

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.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Article Media
No Metrics

Document Type: Research Article

Publication date: March 1, 1998

More about this publication?
  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more