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