SIGNAL
//Producer
//Wait random time
//Request a spot to write
//receive approval
requestWrite(int,int,pID),
approveWrite,

//Consumer
//WaitRandomTime
//RequestToRead
//Receive approval
requestRead(int,pID),
approveRead(int),

//These two will be outputted by IO
//Consumer read: int numberOfConsumer, int TheyReadWhichNumber
//Each consumer will have a unique ID from 1 to 10
consumerXReadItemY(int,int),

//Producers placed: int numberOfProducer, int theyWroteWhichNumber
//Each Producer will have a unique ID form 1 to 10
producerXWroteItemY(int,int);





syntype iLikeToWrite = Integer
    constants 0:100
  endsyntype; 

syntype babaAuRum = DURATION
    constants 500.0:3000.0
  endsyntype;