. . "(b) if a difference arises between the parties relating to the dismissal or discipline of an employee, or to the interpretation, application, operation or alleged violation of this agreement, including a question as to whether a matter is arbitrable, either of the parties, without stoppage of work, may, after exhausting any grievance procedure established by this agreement, notify the other party" . . .