Czy pracownik musi złożyć wniosek do pracodawcy o oddanie dnia wolnego za święto 3 maja?

W firmie ustalono i ogłoszono dzień wolny na 2 maja 2014 r. (w zamian za święto przypadające w sobotę dnia 3 maja 2014 r.). Informacja została podana do wiadomości pracowników poprzez wywieszenie jej na tablicy ogłoszeń w miejscu ogólnie dostępnym. Dzień wolny będzie dotyczył wszystkich pracowników zatrudnionych w zakładzie pracy.

Czy na ten dzień Dział Personalny powinien otrzymać wnioski o udzielenie dnia wolnego wypisane przez pracowników?

Czy może niejako "odgórnie" zarejestrować w systemie kadrowym dzień wolny dla wszystkich pracowników firmy w dniu 2 maja (bez konieczności wypisywania wniosków o dzień wolny)?