جدولة أنظمة تخصيص الموارد باستخدام شبكات بتري الزمنية: استعراض | Synapse