% This file contains PBES example 3, as described in:
%
% A. van Dam, B. Ploeger and T.A.C. Willemse. Instantiation for
% Parameterised Boolean Equation Systems.  Computer Science Report
% 08-11, Eindhoven University of Technology (TU/e), 2008.

pbes nu X(n: Nat) = val(n != 1) && X(n + 1);

init X(0);
