If a workflow process is a verb, then a business state machine is a noun representing a thing, such as a purchase order, trouble ticket, or insurance policy application.
If Mr Obama had picked a less experienced man-tim Kaine, the governor of Virginia, another swing state, for example-they would be mocking the Democratic ticket as lightweight.
The railway ticket printer is one of the important parts in the Ticketing System for railways. It is the insurance of the Ticketing System that ticket printer has a good working state.