T.O. Boucher
Department of Industrial Engineering Rutgers University Piscataway, NJ 08855-0909
M. A. Jafari
Department of Industrial Engineering Rutgers University Piscataway, NJ 08855-0909
R. C. Wurl
Department of Industrial Engineering Rutgers University Piscataway, NJ 08855-0909
A. Yalcin
Department of Industrial Engineering Rutgers University Piscataway, NJ 08855-0909
This paper describes software for the specification and analysis of discrete event manufacturing systems. The specification is done using the IDEFO modeling formalism. The specification is a static model of the system. Dynamic system analysis is accomplished by converting the IDEFO representation to a Petri net and then simulating the behavior of the system. The contribution of this work is a methodology and its implementation in software.