Partial sequence planning device, partial sequence planning method and partial sequence planning program

摘要

The semi-ordered procedure planning apparatus 10 can be deleted under a predetermined constraint in the order relation between the operations in the serial procedure in which a plurality of operations for transitioning the state of the state element from the initial state to the target state are arranged in series. A first generation unit 11 that generates a first condition that is a condition of an order relation, and a transient requirement that is a requirement that a state element is required to satisfy until a state transitions from an initial state to a target state in the order relation. The second generation unit 12 that generates the second condition that is the condition of the order relationship required to be satisfied, and the order relationship that satisfies the generated first condition and does not satisfy the generated second condition are deleted from the serial procedure. And a determining unit 13 that determines the order relationship.