Rodrigues N, Barbosa LS.? 2004.??Prototyping Behavioural Specifications in the Net Framework. Proceedings of 7th Brazilian Symposium on Formal Methods - SBMF. :108?118.