如何在CPN工具（ML）中对产品列表进行排序？

Question

以上帝的名义 我有一个colset colset process_list = list process;，其中进程代表此声明：colset process = product ratio*ID*wait_time*e_runtime;并且此colset中所有使用过的colsets都是INT类型。

现在问题是我无法找到对此列表进行排序的方法。有谁能够帮我？我会很感激的。

Answer 1

4年后，提供文件：

colset process = product ratio*ID*wait_time*e_runtime;
colset process_list = list process;

fun pass_list ((rt1,id1,wt1,er1), (rt2,id2,wt2,er2)) = id1 < id2;
fun sort_list (pl) = sort pass_list pl;