Seminar: Nominal Automata for Resource Usage Control