Research Article

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);
}