// ------------------------------------------------------------
// The exit protocol is simple: all we have to do is to reset
// the corresponding level value of the process.
// ------------------------------------------------------------

package Communication.MutexProtocols.Peterson;

// number of processes
macro NumProc = 3;

module ExitProtocol(bool done,nat{NumProc()} level) {
   next(level) = 0;
   done = true;
   next(done) = false;
}