الأنظمة المتوازية, النمذجة والتحليل, علوم الحاسوب, هندسة البرمجياتشبكات بتري الثنائية (Dualistic Petri Nets)