% ------------------------------------------------------------------------------
% Copyright (c) 2010, 2026 Contributors to the Eclipse Foundation
%
% See the NOTICE file(s) distributed with this work for additional
% information regarding copyright ownership.
%
% This program and the accompanying materials are made available under the terms
% of the MIT License which is available at https://opensource.org/licenses/MIT
%
% SPDX-License-Identifier: MIT
% ------------------------------------------------------------------------------
{\ttfamily
\begin{tikzpicture}[x=1ex,y=1ex,thin,>=triangle 45,auto]
\path
          node      (G){}
++ (12,0) node[proc](B){B1}
++ (12,0) node      (E){};
\path (G) edge node{a}(B)
      (B) edge node{b}(E);
\end{tikzpicture}
}
