Control and Decision Support in Automatic Manufacturing Systems
A I I E TransactionsPublished 1 June 1980
Shimon Y. Nof, Andrew B. Whinston, William I. Bullers
Citations75
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
Abstract A new concept of Manufacturing Operating System (MOS) is presented as an approach to decision support as well as actual control of automatic manufacturing. The E-Net technique is used to model the MOS environment including reference data, operational data, and decision logic. Scheduling problems in a DNC line are illustrated.
Keywords
Engineering
ACM Computing SurveysPetri Nets
1,137 Citations1977James L. Peterson
The structure of Petr i nets, thei r markings and execution, several examples of Petm net models of computer hardware and software, and research into the analysis of Pet m nets are presented, as are the use of the reachabil i ty tree and the decidability and complexity of some Petr i net problems.
Communication with automata
503 Citations1966C. A. Petri
The theory of automata is shown not capable of representing the actual physical flow of information in the solution of a recursive problem and a theory of communication is proposed that yields a means of representation that with equal rigor and simplicity accomplishes more than the theory of synchronous automata.
IEEE Transactions on ComputersMacro E-Nets for Representation of Parallel Systems
111 Citations1973Jerre D. Noe, Gary J Nutt
Previous work on evaluation nets is extended through the use of macro nets that represent structures made up of the primitives, allowing compression of the net for easier understanding.
Elsevier eBooksDecision Support Systems
83 Citations1997Wayne Zachary, Joan M. Ryder
This chapter begins with a review of recent developments in decision theory, in the context of the broader trends in the field, and presents a methodology for analysis and design of decision support applications.
Evaluation nets for computer system performance analysis
82 Citations1972Gary J Nutt
Simulation is used for evaluating proposed computer systems and the difficulty of representation and analysis of combination hardware/software systems has increased with the level of sophistication used in their design.
Modular, asynchronous control structures for a high performance processor
65 Citations1970Jack B. Dennis
The example shows that Petri nets, and asynchronous circuits assembled from the few module types introduced below, are suitable for expressing all control functions found in high performance computer systems.
A Petri Net model of the CDC 6400
36 Citations1971Jerre D. Noe
The paper describes a multiprocessor, multiprogramming system, the CDC 6400, in terms of Petri Nets and shows how this type of representation lends itself to planning system measurements.
IEEE Transactions on Manufacturing TechnologyDesign Aspects of Computer Control in Discrete Manufacturing
9 Citations1973Cecil O. Alford
This paper presents a survey of design problems associated with the implementation of computer control of discrete manufacturing processes, and emphasis is placed on a modular design that meets the real-time needs at the most fundamental level of a manufacturing plant.
Annual Simulation SymposiumInteractive graphical simulation using modified Petri nets
4 Citations1975C. P. Crowley, Jerre D. Noe
The E-nets language is used to model a disk access system involving two CDC 6400's, two disk storage controllers and six disk storage units and the E-net model of this system is presented and explained in detail.