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.