PackML
type: Ontology
version IRI: http://www.w3id.org/hsu-aut/PackML/3.0.0
version info: 3.0.0

consistsOfState
type: ObjectProperty
domain: StateMachine
range: State
comment: Defines that a State is part of a State Machine.

consistsOfTransition
type: ObjectProperty
domain: StateMachine
range: Transition
comment: Defines that a Transition is part of a State Machine.

hasIncomingTransition
type: ObjectProperty
inverse of: hasTargetState
domain: State
range: Transition
comment: Describes the relationship between a state and it's incoming transition.

hasOutgoingTransition
type: ObjectProperty
inverse of: hasSourceState
domain: State
range: Transition
comment: Describes the relationship between a state and it's outgoing transition.

hasSourceState
type: ObjectProperty
domain: Transition
range: State
comment: Describes the relationship between a transition and the State it originated in.

hasTargetState
type: ObjectProperty
domain: Transition
range: State
comment: Describes the relationship between a transition and the State it ends in.

AbortCommand
type: Class
subclass of: Command
subclass of: Restriction
  on property: hasTargetState
  all values from: Aborting
comment: The ABORT command can be triggered at any time in order bring the state machine into ABORTING state. ANSI/ISA-TR88.00.02-2015

Aborted
type: Class
subclass of: Wait
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: ClearCommand
comment: The machine maintains status information relevant to the ABORT condition. The machine can only exit the ABORTED state after an explicit CLEAR command, subsequently to manual intervention to correct and reset the detected machine faults. ANSl/ISA-TR88.00.02-2015

Aborting
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: AbortingStateComplete
comment: The ABORTING state can be entered at any time in response to the ABORT command or on the occurrence of a machine fault. The aborting logic will bring the machine to a rapid safe stop. ANSl/ISA-TR88.00.02-2015

AbortingStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Aborted
comment: After the ABORTING logic has brought the machine to a safe stop, the ABORTING STATE COMPLETE transition will fire so that the machine ends in ABORTED state. ANSI/ISA-TR88.00.02-2015

Acting
type: Class
subclass of: State
disjoint with: Wait
comment: A state which represents some processing activity. It implies the single or repeated execution of processing steps in a logical order, for a finite time or until a specific condition has been reached. In ANSl/lSA-88.00.01 these are referred to transient states, those states ending in "ING". ANSl/ISA-TR88.00.02-2015

ClearCommand
type: Class
subclass of: Command
subclass of: Restriction
  on property: hasTargetState
  all values from: Clearing
comment: The CLEAR command may be used to clear faults that may have occurred during ABORTING in order to move to the STOPPED state. ANSI/ISA-TR88.00.02-2015

Clearing
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: ClearingStateComplete
comment: Initiated by a state command to clear faults that may have occurred when ABORTING, and are present in the ABORTED state before proceeding to a STOPPED state. ANSl/ISA-TR88.00.02-2015

ClearingStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Stopped
comment: As soon as all faults have been cleared during CLEARING, this CLEARING STATE COMPLETE transition will be fired so that the machine ends up in STOPPED state. ANSI/ISA-TR88.00.02-2015

Command
type: Class
subclass of: Transition
comment: State commands are transitions that need to be actively triggered, e.g., by one of the following ways: Operator intervention, Response to the status of one or more procedural elements, Response to machine conditions, Supervisory or remote system intervention. ANSI/ISA-TR88.00.02-2015

Complete
type: Class
subclass of: Wait
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: ResetCommand
    union of: StopCommand
comment: The machine has finished the COMPLETING state and is now waiting for a RESET command before transitioninQ to the RESETTING state. ANSl/ISA-TR88.00.02-2015

Completing
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: CompletingStateComplete
    union of: StopCommand
comment: This state is an automatic response from the EXECUTE state. Normal operation has run to completion, i.e. processing of material at the infeed will stop. ANSl/ISA-TR88.00.02-2015

CompletingStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Complete
comment: As soon as the completion logic has been finished, the COMPLETING STATE COMPLETE transition will be triggered. The machine will end in the COMPLETE state. ANSI/ISA-TR88.00.02-2015

Execute
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: ExecuteStateComplete
    union of: HoldCommand
    union of: StopCommand
    union of: SuspendCommand
comment: Once the machine is processing materials it is in the EXECUTE state. Different machine modes will result in specific types of EXECUTE activities. For example, if the machine is in the "Production" mode, the EXECUTE will result in products being produced, while in "Clean Out" mode the EXECUTE state refers to the action of cleanino the machine. ANSl/ISA-TR88.00.02-2015

ExecuteStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Completing
comment: As soon as normal operation was successfully finished, the machine will trigger the EXECUTE STATE COMPLETE transition to end in the COMPLETING state. ANSI/ISA-TR88.00.02-2015

Held
type: Class
subclass of: Wait
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: StopCommand
    union of: UnholdCommand
comment: Refer to HOLDING for when this state is used. In this state the machine shall not produce product. It will either stop running or continue to dry cycle. A transition to the UNHOLDING state will occur when INTERNAL machine conditions change or an UNHOLD command is initiated by an operator. ANSl/ISA-TR88.00.02-2015

HoldCommand
type: Class
subclass of: Command
subclass of: Restriction
  on property: hasTargetState
  all values from: Holding
comment: The HOLD command is used to hold production due to internal machine conditions. ANSI/ISA-TR88.00.02-2015

Holding
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: HoldingStateComplete
    union of: StopCommand
comment: This state shall be used when INTERNAL (inside this unit machine and not from another machine on the production line) machine conditions do not allow the machine to continue producing, that is, the machine leaves EXECUTE due to internal conditions. This is typically used for routine machine conditions that requires minor operator servicing to continue production. This state can be initiated automatically or by an operator and can be easily recovered from. An example of this would be a machine that requires an operator to periodically refill a glue dispenser or carton magazine and due to the machine design, these operations cannot be performed while the machine is running. Since these types of tasks are normal production operations, it is not desirable to go through aborting or stopping sequences, and because these functions are integral to the machine they are not considered to be "external". While in the HOLDING state, the machine is typically brought to a controlled stop and then transitions to HELD upon state complete. To be able to restart production correctly after the HELD state, all relevant process set-points and return status of the procedures at the time of receiving the HOLD command must be saved in the machine controller when executing the HOLDING procedure. ANSl/ISA-TR88.00.02-2015

HoldingStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Held
comment: As soon as the HOLDING logic has been finished, the HOLDING STATE COMPLETE transition will be triggered and the machine will go into the HELD state. ANSI/ISA-TR88.00.02-2015

Idle
type: Class
subclass of: Wait
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: StartCommand
    union of: StopCommand
comment: This is the state which indicates that RESETTING is complete. The machine will maintain the conditions which were achieved during the RESETTING state, and perform operations required when the machine is in IDLE. ANSl/ISA-TR88.00.02-2015

ResetCommand
type: Class
subclass of: Command
subclass of: Restriction
  on property: hasTargetState
  all values from: Resetting
comment: A RESET command will cause an exit from STOPPED to the RESETTING state. ANSl/ISA-TR88.00.02-2015

Resetting
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: ResettingStateComplete
    union of: StopCommand
comment: This state is the result of a RESET command from the STOPPED or COMPLETE state. Faults and stop causes are reset. RESETTING will typically cause safety devices to be energized and place the machine in the IDLE state where it will wait for a START command. No hazardous motion should haooen in this state. ANSl/ISA-TR88.00.02-2015

ResettingStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Idle
comment: As soon as the RESETTING logic has been finished, the RESETTING STATE COMPLETE transition will be triggered and the machine will go into the IDLE state. ANSI/ISA-TR88.00.02-2015

StartCommand
type: Class
subclass of: Command
subclass of: Restriction
  on property: hasTargetState
  all values from: Starting
comment: The START command is the first step to begin execution. It will bring the state machine from IDLE to STARTING state. ANSI/ISA-TR88.00.02-2015

Starting
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: StartingStateComplete
    union of: StopCommand
comment: The machine completes the steps needed to start. This state is entered as a result of a STARTING command (local or remote). Following this command the machine will beqin to "execute". ANSl/ISA-TRBB.00.02-2015

StartingStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Execute
comment: As soon as the STARTING logic has been finished, the STARTING STATE COMPLETE transition will be triggered and the machine will go into the EXECUTE state. ANSI/ISA-TR88.00.02-2015

State
type: Class
comment: A unit/machine state completely defines the current condition of a machine. Two machine state types are defined: Acting states, which represent some processing activity. And Wait states which are used to identify that a machine has achieved a defined set of conditions. ANSl/ISA-TR88.00.02-2015

StateComplete
type: Class
subclass of: Transition
comment: A StateComplete is automatically triggered by the completion of an acting state. As a result, the state machine switches its current state to a Wait State. ANSI/ISA-TR88.00.02-2015

StateMachine
type: Class
disjoint with: Transition
comment: To be used as a container for all states and transitions of a particular state machine.

StopCommand
type: Class
subclass of: Command
subclass of: Restriction
  on property: hasTargetState
  all values from: Stopping
comment: The STOP command triggers a controlled halt of a machine trough logic triggered in the STOPPING state. ANSI/ISA-TR88.00.02-2015

Stopped
type: Class
subclass of: Wait
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: ResetCommand
comment: The machine is powered and stationary after completing the STOPPING state. All communications with other systems are functioning (if applicable). A RESET command will cause an exit from STOPPED to the RESETTING state. ANSl/ISA-TR88.00.02-2015

Stopping
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: StoppingStateComplete
comment: This state is entered in response to a STOP command. While in this state the machine executes the logic which brings it to a controlled stop as reflected by the STOPPED state. Normal STARTING of the machine cannot be initiated unless RESETTING had taken place. ANSl/ISA-TR88.00.02-2015

StoppingStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Stopped
comment: As soon as the STOPPING logic has been finished, the STOPPING STATE COMPLETE transition will be triggered and the machine will go into the STOPPED state. ANSI/ISA-TR88.00.02-2015

SuspendCommand
type: Class
subclass of: Command
subclass of: Restriction
  on property: hasTargetState
  all values from: Suspending
comment: The SUSPEND command is used to suspend production due to external machine conditions. ANSI/ISA-TR88.00.02-2015

Suspended
type: Class
subclass of: Wait
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: StopCommand
    union of: UnsuspendCommand
comment: Refer to SUSPENDING for when this state is used. In this state the machine shall not produce product. It will either stop running or continue to cycle without producing until external process conditions return to normal, at which time, the SUSPENDED state will transition to the UNSUSPENDING state, typically without any operator intervention. ANSl/ISA-TR88.00.02-2015

Suspending
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: StopCommand
    union of: SuspendingStateComplete
comment: This state shall be used when EXTERNAL (outside this unit machine but usually on the same integrated production line) process conditions do not allow the machine to continue producing, that is, the machine leaves EXECUTE due to upstream or downstream conditions on the line. This is typically due to a blocked or starved event. This condition may be detected by a local machine sensor or based on a supervisory system external command. While in the SUSPENDING state, the machine is typically brought to a controlled stop and then transitions to SUSPENDED upon state complete. To be able to restart production correctly after the SUSPENDED state, all relevant process set-points and return status of the procedures at the time of receiving the SUSPEND command must be saved in the machine controller when executing the SUSPENDING procedure. ANSl/ISA-TR88.00.02-2015

SuspendingStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Suspended
comment: As soon as the SUSPENDING logic has been finished, the SUSPENDING STATE COMPLETE transition will be triggered and the machine will go into the SUSPENDED state. ANSI/ISA-TR88.00.02-2015

Transition
type: Class
comment: A state transition is defined as a passage from one state to another. Transitions between states will occur as a result of a local, remote, or procedural state command. ANSl/ISA-TR88.00.02-2015

UnholdCommand
type: Class
subclass of: Command
subclass of: Restriction
  on property: hasTargetState
  all values from: Unholding
comment: In case of a HOLD due to internal reasons, the UNHOLD command may be initiated by an operator in case the reasons for a HOLD do no longer exist. The machine will continue to the UNHOLDING state. ANSI/ISA-TR88.00.02-2015

Unholding
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: StopCommand
    union of: UnholdingStateComplete
comment: Refer to HOLDING for when this state is used. A machine will typically enter into UNHOLDING automatically when INTERNAL conditions, material levels, for example, return to an acceptable level. If an operator is required to perform minor servicing to replenish materials or make adjustments, then the UNHOLD command may be initiated by the operator. ANSl/ISA-TR88.00.02-2015

UnholdingStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Execute
comment: As soon as the UNHOLDING logic has been finished, the UNHOLDING STATE COMPLETE transition will be triggered and the machine will go back into EXECUTE state. ANSI/ISA-TR88.00.02-2015

UnsuspendCommand
type: Class
subclass of: Command
subclass of: Restriction
  on property: hasTargetState
  all values from: Unsuspending
comment: In case of a SUSPEND due to extenal reasons, the UNSUSPEND command may be initiated as soon as process conditions go back to normal. The machine will continue to the UNSUSPENDING state. ANSI/ISA-TR88.00.02-2015

Unsuspending
type: Class
subclass of: Acting
subclass of: Restriction
  on property: hasOutgoingTransition
  all values from: Class
    union of: AbortCommand
    union of: StopCommand
    union of: UnsuspendingStateComplete
comment: Refer to SUSPENDING for when this state is used. This state is a result of process conditions returning to normal. The UNSUSPENDING state initiates any required actions or sequences necessary to transition the machine from SUSPENDED back to EXECUTE. To be able to restart production correctly after the SUSPENDED state, all relevant process set- points and return status of the procedures at the time of receiving the SUSPEND command must be saved in the machine controller when executing the SUSPENDING procedure. ANSl/ISA-TR88.00.02-2015

UnsuspendingStateComplete
type: Class
subclass of: StateComplete
subclass of: Restriction
  on property: hasTargetState
  all values from: Execute
comment: As soon as the UNSUSPENDING logic has been finished, the UNSUSPENDING STATE COMPLETE transition will be triggered and the machine will go back into EXECUTE state. ANSI/ISA-TR88.00.02-2015

Wait
type: Class
subclass of: State
comment: A state used to identify that a machine has achieved a defined set of conditions. In such a state, the machine is maintaining a status until transitioning to an acting state. In ANSl/ISA-88.00.01 this was referred to as a "final" or "quiescent" state. ANSl/ISA-TR88.00.02-2015