pinsetter

• pin-setter, pin setter

From pin +‎ setter.

pinsetter (plural pinsetters)

1. (bowling, originally) The person who clears fallen pins and resets them in tenpin bowling or candlepin bowling.
   • 2019, Colson Whitehead, The Nickel Boys, Fleet, page 92:

     “I was working as a pinsetter in a bowling alley down in Tampa.”

2. (bowling) The machine that clears fallen pins and resets them in tenpin bowling or candlepin bowling.
   • 1985, Stephen King, Nona:

     They have twelve lanes of candlepin bowling with cranky automatic pinsetters that usually take the last three days of the week off […]

• Petri nets, interstep