A procedure generation system receives an input of a configuration definition, and generates an operation procedure for the configuration definition, the configuration definition including definitions of a plurality of state elements. The plurality of state elements includes a state element having a limiting condition that a value of a property within a definition of a state element may be referenced when the state element is in a predetermined state. The procedure generation system includes an appender that adds a stipulation that a state element having the limiting condition be in the predetermined state, to a condition of a state transition of a predetermined state element in which a property within a definition of a state element having the limiting condition is referenced.