NrpMachine

A NrpMachine  is a machine that executes a net of reactive processes. Class NrpMachine extends Machine by adding a channel environment.

public class NrpMachine extends Machine
{  
  public ChannelEnv channelEnv = new ChannelEnv();

  final public Channel getChannel(String name){
    return channelEnv.getChannel(name);
  }

  final public Channel newChannel(){ 
    return channelEnv.newChannel(); 
  }
}