أرسل هذا في رسالة قصيرة: A framework for modeling and verifying membrane computing of biological systems /