أرسل هذا في رسالة قصيرة: Property-preserving petri net process algebra in software engineering