Почему маркеры не добавляются?

Question

Чтение this статьи говорится:

детонатора из разрешенного перехода удаляет один маркер с каждым входным места и добавляет один маркер для каждого выходного места.

Теперь, если у меня есть следующая сеть, со всеми одиночными дугами

После обжига T1 я бы ожидать, P2 содержит 2 фишки - от P1 и P4. Но результатом является один токен в P2. Не углубляясь в математику, как это можно объяснить?

Answer 1

Один из способов думать о сетях Петри - рассматривать их как сети предикатов/событий, где места представляют предикаты и переходы, представляют собой события, которые изменяют значение истины предикатов. Токены указывают, какие предикаты сохраняются истинными после определенной последовательности событий.

Например, ваша сеть может быть моделью следующей ситуации в библиотеке колледжа

P1 = "A book is available at the library" 
P4 = "A book is needed by a student" 
P2 = "The student has the book" 

И

T1 = "A book is dispatched to a student" 

Тогда стрельбы T1 возможно только при условии P1 и P4 истинны, т.е. удерживайте токен. После стрельбы T1 мы приходим к состоянию, в котором условия P1 и P4 недействительны, и P2 становится реальностью.

Интерпретация сетей Петри таким образом легко убедить себя, что жетоны несущественны, и поэтому количество токенов в системе, то есть число предикатов, которые истинны в данном состоянии, может измениться без какого-либо конкретного вмешательства ,

Сети Петри обеспечивают различные интерпретации. Легко видеть, что для обеспечения того, чтобы количество токенов оставалось одинаковым, сеть Петри должна иметь свойство, при котором каждый переход имеет равное количество входящих и исходящих дуг.

Answer 2

Petri Net - это описание системы с точки зрения сетевых элементов и аннотаций. Существует четыре типа сетевых элементов: место, переход, вход и выход. Вход соединяет место с переходом. Выход соединяет переход к месту.

стандартом де-факто графика (аннотаций) из:

1. Место представляет собой круг или овальной формы.
2. Переход представляет собой квадрат или прямоугольник.
3. Вход представляет собой стрелку из круга (овала) в квадрат (прямоугольник).
4. Выход представляет собой стрелку из квадрата (прямоугольник) в круг (овальный).
5. Место, на котором находится символ, имеет одну черную точку. Место с отметкой 0 пусто.
6. [Стандартная графика де-факто для разрешенного перехода или разрешенного ввода отсутствует.]

де-факто стандартом логика аннотаций (ы):

1. входного являются:

   а) Испытание условие, чтобы определить, если входной сигнал может сработать: если знак входное место больше или равно 1, тогда вход активирован - он может срабатывать. В противном случае вход не будет включен - он может не срабатывать.

   b) Логика вычислений: вычесть 1 из метки входного места. Чтобы вычислить вход, нужно запустить вход.

2. Выход - логика вычислений: добавьте 1 к отметке места выхода. Чтобы вычислить выход, нужно запустить вывод.

3. Переход являются:

   а) проверяемое условие, чтобы определить, является ли переход может сработать: если каждый вход перехода включен, переход включен - это может сработать.

   b) Логика вычислений: загорайте каждый вход и загорайте каждый выход перехода.

Типичная интерпретация сети Петри собрать все задействованные переходы, выберите один из разрешенных переходов в огнь, и огнь выбранного перехода. В этом случае интерпретация заключается в выборе и срабатывании перехода T1. После стрельбы T1 отметка мест P1 и P4 должна быть 0, а отметка места P2 равна 1.

Поэтому причина, по которой токены не добавлены так, как вы ожидали, вероятно, объясняется тем, что стандартная стандартная логическая аннотация вывод не совпадает с логической аннотацией, которую, по вашему мнению, был связан с выходом.