Спецификация файла описания сети Петри.
1. Описание сети состоит из указания числа позиций, числа переходов, входных и выходящих дуг, а также количества фишек в каждой позиции.
2. Всем вышеперечисленным данным соответствуют ключевые слова-метки.
Метка'Pos' обозначает описание позиций.
Метка 'Per' обозначает описание переходов.
Метка 'In' обозначает описание входящих в переходы дуг.
Метка 'Out' обозначает описание выходящих из переходов дуг.
Метка 'Marks' обозначает описание фишек в позициях.
3. Метки с описаниями разделяются между собой обязательными запятыми. Регистр меток не важен.
4. Позиции и переходы указываются натуральными числами
Pos=5,Per=4,
означает,что число позиций в сети равно пяти,а число переходов - четырем.5. Входные и выходящие дуги указываются матрицами,где по горизонтали указываются вершины,а по вертикали соответствующие им переходы.Число дуг указывается целым числом.Элементы матрицы отделяются друг от друга обязательными запятыми.
Ингибиторные дуги указываются наряду с обычными,но отрицательными числами.
6. Фишки указываются одномерным массивом,где номер элемента в массиве соответствует номеру позиции.Количество фишек указывается натуральным числом.Элементы массива также отделяются друг от друга запятыми.
Marks {2,5,5,6,0},
7. Обязательными для описания являются наименования меток и разделяющие запятые.Все остальные символы могут быть использованы для удобства написания и восприятия.Порядок меток не важен.