أرسل هذا في رسالة قصيرة: Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters