بحثك - "(transactions OR translation) on petri nets and other models of concurrency," - لم يطابق أي من المصادر.