إرسال التسجيلة بالبريد الالكتروني: Coloured petri nets modelling and validation of concurrent systems /