PTA

[Sara Himmiche]

Hi , 

I'm trying to model a production scheduling problem using PTA, I faced a lot of problems with PRISM that I do not understand, like how is it possible that  PTA  does not support global variables , and why local variables connot be read by  other modules. 

Also I was wondering if it is possible to model other types of probabilistic distributions or is it made only for discrete probability.  

Any help? Thank you in advance.

Sara.