Как создать индексированный целочисленный colset в CPN-Tools?

Question

Как создать индексируемый, легко управляемый, int Colset? Мне нужно передать целые числа по индексу в функцию перехода, и я думаю о чем-то с таким индексом, как colset PH = index ph с 1..n

Answer 1

У вас есть пример использования указателя с функцией в следующем руководстве (стр. 8).

Посмотрите на заявленноеChopsticksфункция:

      val n = 5;
colset PH = index ph with 1..n;
colset CS = index cs with 1..n;
var p: PH;
fun Chopsticks(ph(i)) =
1`cs(i) ++ 1`cs(if i=n then 1 else i+1); 

Когда вы объявляете индекс, вы объявляете такое, какphилиcs. Вы можете передать индекс по его целочисленному значению, используя функциюidза которым следует его номер, напримерcs(1).

Итак, если вы хотите выполнить итерацию, вы можете использовать целочисленное значение, присвоенное его идентификатору.