Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Algorithm 1

C code on the ARM system.

void master_frame_interrupt_handle  ()

{

  node_number++;

  if (slave_node_number >= SLAVE_COUNT)

  {

    slave_node_number = 2;

  }

  arm_set_main_frame_flag  (TRUE);

  arm_send_main_frame_data  (node_number);

}