CPAL Playground

/* Copyright (C) 2015, RealTime-at-Work, All Rights Reserved
 *
 * You may use, copy, reproduce, and distribute this sample cource code for any non-commercial purpose.
 * Some purposes which can be non-commercial are teaching, academic research,
 * public demonstrations and personal experimentation. You may also distribute this Software
 * with books or other teaching materials, or publish the Software on websites,
 * that are intended to teaching for academic or other non-commercial purposes.
 *
 * In return, we simply require that you agree: 
 * 1. That you will not remove any copyright or other notices from the Software.
 * 2. THAT THE SOFTWARE COMES "AS IS", WITH NO WARRANTIES. THIS MEANS NO EXPRESS, 
 *    IMPLIED OR STATUTORY WARRANTY.
 */
 
/**
 * The classical dining philosopers problem.
 * See http://en.wikipedia.org/wiki/Dining_philosophers_problem
 * Here we will avoid starvation with timing configuration.
 * More precisely one philosopher is desynchronized from others by an offset.
 *
 * @keywords transition, boolean; transition, timed; offset; philosophers; architecture, diagram customisation
 */

/* Fork availability */
var bool: fork1 = true;
var bool: fork2 = true;
var bool: fork3 = true;
var bool: fork4 = true;
var bool: fork5 = true;

processdef Philosopher(
		    in bool: left_fork_available,
		    in bool: right_fork_available,
		    out bool: left_fork_availability,
		    out bool: right_fork_availability)  {

state Thinking {
  }
  on (left_fork_available) {
    left_fork_availability = false;
  } to Waiting_For_Right_Fork;

state Waiting_For_Right_Fork{
/*    IO.println("%d %d %d %d %d", fork1, fork2, fork3, fork4, fork5);*/
/*    assert((left_fork_availability == false) or (left_fork_available == false));*/
  }
  on (right_fork_available) {
    right_fork_availability = false;
  } to Eating;

state Eating {
/*    assert((left_fork_availability == false) or (left_fork_available == false));
    assert((right_fork_availability == false) or (right_fork_available == false));*/
	IO.println("I %u am eating\n",self.pid);

}
  after (300ms) {
    right_fork_availability = true;
  } to Putting_Left_Fork;

state Putting_Left_Fork {
  }
  on (true) {
    left_fork_availability = true;
  } to Thinking;
}

/*cpal:graphviz splines=polyline*/

process Philosopher: p1[100ms, 0ms](fork1, fork2, fork1, fork2);
process Philosopher: p2[100ms, 0ms](fork2, fork3, fork2, fork3);
process Philosopher: p3[100ms, 0ms](fork3, fork4, fork3, fork4);
process Philosopher: p4[100ms, 0ms](fork4, fork5, fork4, fork5);
process Philosopher: p5[100ms, 150ms](fork5, fork1, fork5, fork1);

for ms or try the desktop editor with advanced diagram views

Simulation
Tasks diagram


Quiet mode disabled
[0.000000000000:ASSIGN] Assign cpal_system new value: Scheduling_Policy.FIFO
[0.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[0.000000000000:STATE] process "Philosopher", instance "p1", state "Thinking"
[0.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[0.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[0.000000000000:STATE] process "Philosopher", instance "p2", state "Thinking"
[0.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[0.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[0.000000000000:STATE] process "Philosopher", instance "p3", state "Thinking"
[0.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[0.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[0.000000000000:STATE] process "Philosopher", instance "p4", state "Thinking"
[0.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[0.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[0.100000000000:ASSIGN] Assign fork1 new value: false
[0.100000000000:STATE] process "Philosopher", instance "p1", state "Waiting_For_Right_Fork"
[0.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[0.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[0.100000000000:ASSIGN] Assign fork2 new value: false
[0.100000000000:STATE] process "Philosopher", instance "p2", state "Waiting_For_Right_Fork"
[0.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[0.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[0.100000000000:ASSIGN] Assign fork3 new value: false
[0.100000000000:STATE] process "Philosopher", instance "p3", state "Waiting_For_Right_Fork"
[0.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[0.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[0.100000000000:ASSIGN] Assign fork4 new value: false
[0.100000000000:STATE] process "Philosopher", instance "p4", state "Waiting_For_Right_Fork"
[0.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[0.150000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[0.150000000000:STATE] process "Philosopher", instance "p5", state "Thinking"
[0.150000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[0.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[0.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[0.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[0.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[0.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[0.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[0.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[0.200000000000:ASSIGN] Assign fork5 new value: false
[0.200000000000:STATE] process "Philosopher", instance "p4", state "Eating"
[0.200000000000:PRINTLN] I 3 am eating
[0.200000000000:PRINTLN] 
[0.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[0.250000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[0.250000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[0.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[0.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[0.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[0.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[0.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[0.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[0.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[0.300000000000:PRINTLN] I 3 am eating
[0.300000000000:PRINTLN] 
[0.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[0.350000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[0.350000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[0.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[0.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[0.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[0.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[0.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[0.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[0.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[0.400000000000:PRINTLN] I 3 am eating
[0.400000000000:PRINTLN] 
[0.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[0.450000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[0.450000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[0.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[0.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[0.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[0.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[0.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[0.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[0.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[0.500000000000:STATE] process "Philosopher", instance "p4", transition 1
[0.500000000000:ASSIGN] Assign fork5 new value: true
[0.500000000000:STATE] process "Philosopher", instance "p4", state "Putting_Left_Fork"
[0.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[0.550000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[0.550000000000:ASSIGN] Assign fork5 new value: false
[0.550000000000:STATE] process "Philosopher", instance "p5", state "Waiting_For_Right_Fork"
[0.550000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[0.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[0.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[0.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[0.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[0.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[0.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[0.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[0.600000000000:ASSIGN] Assign fork4 new value: true
[0.600000000000:STATE] process "Philosopher", instance "p4", state "Thinking"
[0.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[0.650000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[0.650000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[0.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[0.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[0.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[0.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[0.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[0.700000000000:ASSIGN] Assign fork4 new value: false
[0.700000000000:STATE] process "Philosopher", instance "p3", state "Eating"
[0.700000000000:PRINTLN] I 2 am eating
[0.700000000000:PRINTLN] 
[0.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[0.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[0.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[0.750000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[0.750000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[0.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[0.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[0.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[0.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[0.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[0.800000000000:PRINTLN] I 2 am eating
[0.800000000000:PRINTLN] 
[0.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[0.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[0.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[0.850000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[0.850000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[0.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[0.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[0.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[0.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[0.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[0.900000000000:PRINTLN] I 2 am eating
[0.900000000000:PRINTLN] 
[0.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[0.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[0.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[0.950000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[0.950000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[1.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[1.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[1.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[1.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[1.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[1.000000000000:STATE] process "Philosopher", instance "p3", transition 1
[1.000000000000:ASSIGN] Assign fork4 new value: true
[1.000000000000:STATE] process "Philosopher", instance "p3", state "Putting_Left_Fork"
[1.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[1.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[1.000000000000:ASSIGN] Assign fork4 new value: false
[1.000000000000:STATE] process "Philosopher", instance "p4", state "Waiting_For_Right_Fork"
[1.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[1.050000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[1.050000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[1.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[1.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[1.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[1.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[1.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[1.100000000000:ASSIGN] Assign fork3 new value: true
[1.100000000000:STATE] process "Philosopher", instance "p3", state "Thinking"
[1.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[1.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[1.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[1.150000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[1.150000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[1.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[1.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[1.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[1.200000000000:ASSIGN] Assign fork3 new value: false
[1.200000000000:STATE] process "Philosopher", instance "p2", state "Eating"
[1.200000000000:PRINTLN] I 1 am eating
[1.200000000000:PRINTLN] 
[1.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[1.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[1.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[1.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[1.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[1.250000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[1.250000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[1.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[1.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[1.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[1.300000000000:PRINTLN] I 1 am eating
[1.300000000000:PRINTLN] 
[1.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[1.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[1.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[1.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[1.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[1.350000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[1.350000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[1.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[1.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[1.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[1.400000000000:PRINTLN] I 1 am eating
[1.400000000000:PRINTLN] 
[1.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[1.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[1.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[1.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[1.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[1.450000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[1.450000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[1.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[1.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[1.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[1.500000000000:STATE] process "Philosopher", instance "p2", transition 1
[1.500000000000:ASSIGN] Assign fork3 new value: true
[1.500000000000:STATE] process "Philosopher", instance "p2", state "Putting_Left_Fork"
[1.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[1.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[1.500000000000:ASSIGN] Assign fork3 new value: false
[1.500000000000:STATE] process "Philosopher", instance "p3", state "Waiting_For_Right_Fork"
[1.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[1.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[1.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[1.550000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[1.550000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[1.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[1.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[1.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[1.600000000000:ASSIGN] Assign fork2 new value: true
[1.600000000000:STATE] process "Philosopher", instance "p2", state "Thinking"
[1.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[1.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[1.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[1.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[1.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[1.650000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[1.650000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[1.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[1.700000000000:ASSIGN] Assign fork2 new value: false
[1.700000000000:STATE] process "Philosopher", instance "p1", state "Eating"
[1.700000000000:PRINTLN] I 0 am eating
[1.700000000000:PRINTLN] 
[1.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[1.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[1.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[1.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[1.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[1.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[1.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[1.750000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[1.750000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[1.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[1.800000000000:PRINTLN] I 0 am eating
[1.800000000000:PRINTLN] 
[1.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[1.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[1.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[1.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[1.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[1.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[1.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[1.850000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[1.850000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[1.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[1.900000000000:PRINTLN] I 0 am eating
[1.900000000000:PRINTLN] 
[1.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[1.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[1.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[1.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[1.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[1.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[1.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[1.950000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[1.950000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[2.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[2.000000000000:STATE] process "Philosopher", instance "p1", transition 1
[2.000000000000:ASSIGN] Assign fork2 new value: true
[2.000000000000:STATE] process "Philosopher", instance "p1", state "Putting_Left_Fork"
[2.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[2.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[2.000000000000:ASSIGN] Assign fork2 new value: false
[2.000000000000:STATE] process "Philosopher", instance "p2", state "Waiting_For_Right_Fork"
[2.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[2.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[2.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[2.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[2.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[2.050000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[2.050000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[2.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[2.100000000000:ASSIGN] Assign fork1 new value: true
[2.100000000000:STATE] process "Philosopher", instance "p1", state "Thinking"
[2.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[2.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[2.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[2.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[2.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[2.100000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[2.100000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[2.150000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[2.150000000000:ASSIGN] Assign fork1 new value: false
[2.150000000000:STATE] process "Philosopher", instance "p5", state "Eating"
[2.150000000000:PRINTLN] I 4 am eating
[2.150000000000:PRINTLN] 
[2.150000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[2.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[2.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[2.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[2.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[2.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[2.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[2.200000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[2.200000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[2.250000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[2.250000000000:PRINTLN] I 4 am eating
[2.250000000000:PRINTLN] 
[2.250000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[2.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[2.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[2.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[2.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[2.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[2.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[2.300000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[2.300000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[2.350000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[2.350000000000:PRINTLN] I 4 am eating
[2.350000000000:PRINTLN] 
[2.350000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[2.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[2.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[2.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[2.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[2.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[2.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[2.400000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[2.400000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[2.450000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[2.450000000000:STATE] process "Philosopher", instance "p5", transition 1
[2.450000000000:ASSIGN] Assign fork1 new value: true
[2.450000000000:STATE] process "Philosopher", instance "p5", state "Putting_Left_Fork"
[2.450000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[2.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[2.500000000000:ASSIGN] Assign fork1 new value: false
[2.500000000000:STATE] process "Philosopher", instance "p1", state "Waiting_For_Right_Fork"
[2.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[2.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[2.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[2.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[2.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[2.500000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[2.500000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[2.550000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[2.550000000000:ASSIGN] Assign fork5 new value: true
[2.550000000000:STATE] process "Philosopher", instance "p5", state "Thinking"
[2.550000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[2.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[2.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[2.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[2.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[2.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[2.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[2.600000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[2.600000000000:ASSIGN] Assign fork5 new value: false
[2.600000000000:STATE] process "Philosopher", instance "p4", state "Eating"
[2.600000000000:PRINTLN] I 3 am eating
[2.600000000000:PRINTLN] 
[2.600000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[2.650000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[2.650000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[2.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[2.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[2.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[2.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[2.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[2.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[2.700000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[2.700000000000:PRINTLN] I 3 am eating
[2.700000000000:PRINTLN] 
[2.700000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[2.750000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[2.750000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[2.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[2.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[2.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[2.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[2.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[2.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[2.800000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[2.800000000000:PRINTLN] I 3 am eating
[2.800000000000:PRINTLN] 
[2.800000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[2.850000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[2.850000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[2.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[2.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[2.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[2.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[2.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[2.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[2.900000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[2.900000000000:STATE] process "Philosopher", instance "p4", transition 1
[2.900000000000:ASSIGN] Assign fork5 new value: true
[2.900000000000:STATE] process "Philosopher", instance "p4", state "Putting_Left_Fork"
[2.900000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
[2.950000000000:dining-philosophers-offsets:STARTING_TASK] 'p5'
[2.950000000000:ASSIGN] Assign fork5 new value: false
[2.950000000000:STATE] process "Philosopher", instance "p5", state "Waiting_For_Right_Fork"
[2.950000000000:dining-philosophers-offsets:TASK_FINISHED] 'p5'
[3.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p1'
[3.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p1'
[3.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p2'
[3.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p2'
[3.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p3'
[3.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p3'
[3.000000000000:dining-philosophers-offsets:STARTING_TASK] 'p4'
[3.000000000000:ASSIGN] Assign fork4 new value: true
[3.000000000000:STATE] process "Philosopher", instance "p4", state "Thinking"
[3.000000000000:dining-philosophers-offsets:TASK_FINISHED] 'p4'
EXIT (SUCCESS) AT 3s (3000000000000)

PID	start	end	name	state
0	0	0	p1	Thinking
1	0	0	p2	Thinking
2	0	0	p3	Thinking
3	0	0	p4	Thinking
0	100000000000	100000000000	p1	Waiting_For_Right_Fork
1	100000000000	100000000000	p2	Waiting_For_Right_Fork
2	100000000000	100000000000	p3	Waiting_For_Right_Fork
3	100000000000	100000000000	p4	Waiting_For_Right_Fork
4	150000000000	150000000000	p5	Thinking
0	200000000000	200000000000	p1	Waiting_For_Right_Fork
1	200000000000	200000000000	p2	Waiting_For_Right_Fork
2	200000000000	200000000000	p3	Waiting_For_Right_Fork
3	200000000000	200000000000	p4	Eating
4	250000000000	250000000000	p5	Thinking
0	300000000000	300000000000	p1	Waiting_For_Right_Fork
1	300000000000	300000000000	p2	Waiting_For_Right_Fork
2	300000000000	300000000000	p3	Waiting_For_Right_Fork
3	300000000000	300000000000	p4	Eating
4	350000000000	350000000000	p5	Thinking
0	400000000000	400000000000	p1	Waiting_For_Right_Fork
1	400000000000	400000000000	p2	Waiting_For_Right_Fork
2	400000000000	400000000000	p3	Waiting_For_Right_Fork
3	400000000000	400000000000	p4	Eating
4	450000000000	450000000000	p5	Thinking
0	500000000000	500000000000	p1	Waiting_For_Right_Fork
1	500000000000	500000000000	p2	Waiting_For_Right_Fork
2	500000000000	500000000000	p3	Waiting_For_Right_Fork
3	500000000000	500000000000	p4	Putting_Left_Fork
4	550000000000	550000000000	p5	Waiting_For_Right_Fork
0	600000000000	600000000000	p1	Waiting_For_Right_Fork
1	600000000000	600000000000	p2	Waiting_For_Right_Fork
2	600000000000	600000000000	p3	Waiting_For_Right_Fork
3	600000000000	600000000000	p4	Thinking
4	650000000000	650000000000	p5	Waiting_For_Right_Fork
0	700000000000	700000000000	p1	Waiting_For_Right_Fork
1	700000000000	700000000000	p2	Waiting_For_Right_Fork
2	700000000000	700000000000	p3	Eating
3	700000000000	700000000000	p4	Thinking
4	750000000000	750000000000	p5	Waiting_For_Right_Fork
0	800000000000	800000000000	p1	Waiting_For_Right_Fork
1	800000000000	800000000000	p2	Waiting_For_Right_Fork
2	800000000000	800000000000	p3	Eating
3	800000000000	800000000000	p4	Thinking
4	850000000000	850000000000	p5	Waiting_For_Right_Fork
0	900000000000	900000000000	p1	Waiting_For_Right_Fork
1	900000000000	900000000000	p2	Waiting_For_Right_Fork
2	900000000000	900000000000	p3	Eating
3	900000000000	900000000000	p4	Thinking
4	950000000000	950000000000	p5	Waiting_For_Right_Fork
0	1000000000000	1000000000000	p1	Waiting_For_Right_Fork
1	1000000000000	1000000000000	p2	Waiting_For_Right_Fork
2	1000000000000	1000000000000	p3	Putting_Left_Fork
3	1000000000000	1000000000000	p4	Waiting_For_Right_Fork
4	1050000000000	1050000000000	p5	Waiting_For_Right_Fork
0	1100000000000	1100000000000	p1	Waiting_For_Right_Fork
1	1100000000000	1100000000000	p2	Waiting_For_Right_Fork
2	1100000000000	1100000000000	p3	Thinking
3	1100000000000	1100000000000	p4	Waiting_For_Right_Fork
4	1150000000000	1150000000000	p5	Waiting_For_Right_Fork
0	1200000000000	1200000000000	p1	Waiting_For_Right_Fork
1	1200000000000	1200000000000	p2	Eating
2	1200000000000	1200000000000	p3	Thinking
3	1200000000000	1200000000000	p4	Waiting_For_Right_Fork
4	1250000000000	1250000000000	p5	Waiting_For_Right_Fork
0	1300000000000	1300000000000	p1	Waiting_For_Right_Fork
1	1300000000000	1300000000000	p2	Eating
2	1300000000000	1300000000000	p3	Thinking
3	1300000000000	1300000000000	p4	Waiting_For_Right_Fork
4	1350000000000	1350000000000	p5	Waiting_For_Right_Fork
0	1400000000000	1400000000000	p1	Waiting_For_Right_Fork
1	1400000000000	1400000000000	p2	Eating
2	1400000000000	1400000000000	p3	Thinking
3	1400000000000	1400000000000	p4	Waiting_For_Right_Fork
4	1450000000000	1450000000000	p5	Waiting_For_Right_Fork
0	1500000000000	1500000000000	p1	Waiting_For_Right_Fork
1	1500000000000	1500000000000	p2	Putting_Left_Fork
2	1500000000000	1500000000000	p3	Waiting_For_Right_Fork
3	1500000000000	1500000000000	p4	Waiting_For_Right_Fork
4	1550000000000	1550000000000	p5	Waiting_For_Right_Fork
0	1600000000000	1600000000000	p1	Waiting_For_Right_Fork
1	1600000000000	1600000000000	p2	Thinking
2	1600000000000	1600000000000	p3	Waiting_For_Right_Fork
3	1600000000000	1600000000000	p4	Waiting_For_Right_Fork
4	1650000000000	1650000000000	p5	Waiting_For_Right_Fork
0	1700000000000	1700000000000	p1	Eating
1	1700000000000	1700000000000	p2	Thinking
2	1700000000000	1700000000000	p3	Waiting_For_Right_Fork
3	1700000000000	1700000000000	p4	Waiting_For_Right_Fork
4	1750000000000	1750000000000	p5	Waiting_For_Right_Fork
0	1800000000000	1800000000000	p1	Eating
1	1800000000000	1800000000000	p2	Thinking
2	1800000000000	1800000000000	p3	Waiting_For_Right_Fork
3	1800000000000	1800000000000	p4	Waiting_For_Right_Fork
4	1850000000000	1850000000000	p5	Waiting_For_Right_Fork
0	1900000000000	1900000000000	p1	Eating
1	1900000000000	1900000000000	p2	Thinking
2	1900000000000	1900000000000	p3	Waiting_For_Right_Fork
3	1900000000000	1900000000000	p4	Waiting_For_Right_Fork
4	1950000000000	1950000000000	p5	Waiting_For_Right_Fork
0	2000000000000	2000000000000	p1	Putting_Left_Fork
1	2000000000000	2000000000000	p2	Waiting_For_Right_Fork
2	2000000000000	2000000000000	p3	Waiting_For_Right_Fork
3	2000000000000	2000000000000	p4	Waiting_For_Right_Fork
4	2050000000000	2050000000000	p5	Waiting_For_Right_Fork
0	2100000000000	2100000000000	p1	Thinking
1	2100000000000	2100000000000	p2	Waiting_For_Right_Fork
2	2100000000000	2100000000000	p3	Waiting_For_Right_Fork
3	2100000000000	2100000000000	p4	Waiting_For_Right_Fork
4	2150000000000	2150000000000	p5	Eating
0	2200000000000	2200000000000	p1	Thinking
1	2200000000000	2200000000000	p2	Waiting_For_Right_Fork
2	2200000000000	2200000000000	p3	Waiting_For_Right_Fork
3	2200000000000	2200000000000	p4	Waiting_For_Right_Fork
4	2250000000000	2250000000000	p5	Eating
0	2300000000000	2300000000000	p1	Thinking
1	2300000000000	2300000000000	p2	Waiting_For_Right_Fork
2	2300000000000	2300000000000	p3	Waiting_For_Right_Fork
3	2300000000000	2300000000000	p4	Waiting_For_Right_Fork
4	2350000000000	2350000000000	p5	Eating
0	2400000000000	2400000000000	p1	Thinking
1	2400000000000	2400000000000	p2	Waiting_For_Right_Fork
2	2400000000000	2400000000000	p3	Waiting_For_Right_Fork
3	2400000000000	2400000000000	p4	Waiting_For_Right_Fork
4	2450000000000	2450000000000	p5	Putting_Left_Fork
0	2500000000000	2500000000000	p1	Waiting_For_Right_Fork
1	2500000000000	2500000000000	p2	Waiting_For_Right_Fork
2	2500000000000	2500000000000	p3	Waiting_For_Right_Fork
3	2500000000000	2500000000000	p4	Waiting_For_Right_Fork
4	2550000000000	2550000000000	p5	Thinking
0	2600000000000	2600000000000	p1	Waiting_For_Right_Fork
1	2600000000000	2600000000000	p2	Waiting_For_Right_Fork
2	2600000000000	2600000000000	p3	Waiting_For_Right_Fork
3	2600000000000	2600000000000	p4	Eating
4	2650000000000	2650000000000	p5	Thinking
0	2700000000000	2700000000000	p1	Waiting_For_Right_Fork
1	2700000000000	2700000000000	p2	Waiting_For_Right_Fork
2	2700000000000	2700000000000	p3	Waiting_For_Right_Fork
3	2700000000000	2700000000000	p4	Eating
4	2750000000000	2750000000000	p5	Thinking
0	2800000000000	2800000000000	p1	Waiting_For_Right_Fork
1	2800000000000	2800000000000	p2	Waiting_For_Right_Fork
2	2800000000000	2800000000000	p3	Waiting_For_Right_Fork
3	2800000000000	2800000000000	p4	Eating
4	2850000000000	2850000000000	p5	Thinking
0	2900000000000	2900000000000	p1	Waiting_For_Right_Fork
1	2900000000000	2900000000000	p2	Waiting_For_Right_Fork
2	2900000000000	2900000000000	p3	Waiting_For_Right_Fork
3	2900000000000	2900000000000	p4	Putting_Left_Fork
4	2950000000000	2950000000000	p5	Waiting_For_Right_Fork
0	3000000000000	3000000000000	p1	Waiting_For_Right_Fork
1	3000000000000	3000000000000	p2	Waiting_For_Right_Fork
2	3000000000000	3000000000000	p3	Waiting_For_Right_Fork
3	3000000000000	3000000000000	p4	Thinking