الرياضيات, الشبكات, النمذجة, علوم الحاسوب, هندسة البرمجياتشبكات بتري حسنة التكوين (Well-formed Petri Nets)