IEEE - Institute of Electrical and Electronics Engineers, Inc. - Application of functional abstractions to verification of flexible manufacturing systems modelled using Petri nets

Author(s): Zurawski, R. ; Dillon, T.S.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1990
Conference Location: Pacific Grove, CA, USA
Conference Date: 27 November 1990
ISBN (Paper): 0-87942-600-4
DOI: 10.1109/IECON.1990.149185
Regular:

A number of Petri net models (generic modules) of typical components of AGV-based FMSs were previously proposed by the authors (1989). In this paper they discuss some aspects of modeling and... View More

Advertisement