Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Литература / ОтчетСетиПетри / Описание структуры файла начальных условий

.txt
Скачиваний:
16
Добавлен:
16.04.2013
Размер:
894 б
Скачать
## - признак окончания описания какой-либо сущности
После имени каждой сущности стоит цифра - количество отношений(Например, S 4, это значит, что описано 4 места состояния).

Порядок следования сущностей в файле при описании.
Имена мест состояний
Число фишек в месте состояния в начальный момент времени
Имена мест переходов
Время работы перехода
Связи типа ST
Число фишек от S
Связи типа TS
Число фишек от T

Далее идет описание активных переходов в начальный момент времени
TSTART
TAKT
TFIN

Описание внешних воздействий
TIME
NAMES
NS



S 4
S1 S2 S3 S4 ##
Ns 4
3 2 1 2 ##
T 3
T1 T2 T3 ##
TIME 3
1 2 1 ##
NAMES 3
S1 S2 S3 ##
NAMET 3
T1 T2 T3 ##
N 3
1 2 2 ##
NAMET 3
T1 T2 T3 ##
NAMES 3
S3 S3 S4 ##
K 3
2 1 1 ##
TSTART 1
-1 ##
TAKT 1
T2 ##
TFIN 1
1 ##
TIME 6
1 1 2 3 3 4 ##
NAMES 6
S1 S3 S4 S1 S3 S1 ##
NS 6
1 1 2 2 1 1 ##
Соседние файлы в папке ОтчетСетиПетри