Описание тега petri-net
Сеть Петри - это описание системы в терминах сетевых элементов. Существует четыре типа сетевых элементов: место, переход, вход и выход. Вход соединяет место с переходом. Выход соединяет переход с местом. Аннотация - это информация любого типа. Сетевой элемент может иметь ноль или более аннотаций. Аннотации также могут содержать ноль или более аннотаций.
0
ответов
Условная маршрутизация в компоненте Symfony Workflow
Документация предполагает, что компонент Symfony Workflow основан на Petri Net, но документы недостаточно полны, чтобы определить, поддерживает ли он требуемые конструкции маршрутизации (AND-split, AND-join, ORsplit и OR-join) для построения последо…
12 дек '16 в 15:41
1
ответ
Почему число финальных меток не определено в графе достижимости сети Петри?
Я несколько раз читал и слышал, что график достижимости - это особый тип Системы переходов с одним начальным и НЕ УКАЗАННЫМ числом окончательных отметок. Но если вы построите график достижимости, у вас будут очень четкие случаи окончательной маркиро…
09 янв '17 в 09:43
7
ответов
Есть ли инструмент для моделирования / симуляции параллелизма программного обеспечения?
Есть ли хороший инструмент, который может моделировать схему параллелизма / блокировки приложений в графическом виде и может имитировать некоторые аспекты? Я знаю, что для этого более или менее можно использовать сети Петри, но я не знаю хорошего ин…
22 дек '09 в 19:07
1
ответ
Как реализовать "связывание" для цветной сети Петри в Java?
Я реализую цветную сеть Петри на Java. Это что-то вроде конечного автомата. Проблема в том, что я не знаю, как реализовать "связывание". Другими словами, цвета должны быть назначены местам, а выражения дуг должны быть назначены дугам. После выполнен…
31 дек '11 в 23:54
0
ответов
Инструмент генерации графических изображений Петри Нетс
Какое программное обеспечение или инструмент использовался для создания этих графических изображений сетей Петри высокого уровня?Я искал много инструментов, но не мог найти тот. с https://ieeexplore.ieee.org/document/7464291 с https://link.springer.…
08 янв '19 в 11:01
2
ответа
Существует ли стандартный тип диаграммы с указанием состояния и активности?
Я понимаю, что диаграмма действий UML описывает алгоритм, поэтому в некотором смысле это современная версия блок-схемы, в то время как диаграмма состояний UML показывает все возможные (или интересные) состояния, в которых может находиться объект или…
04 ноя '14 в 11:25
1
ответ
Почему инструменты CPN TOOLS продолжают возвращать мои правки?
При редактировании декларации я печатаю свои изменения и нажимаю на фон, и он немедленно возвращает текст. У меня нет проблем с синтаксисом, я могу удалить декларацию и написать новую, и она принимает это просто так, любые идеи, что вызывает это рас…
03 июн '14 в 18:38
0
ответов
Неустранимая ошибка PHP: класс не найден
Я следую учебному пособию для создания файлов pnml с использованием фреймворка Petrinet. Я использовал эту ссылку с GitHub и загрузил код PHP. Однако, когда я попытался запустить его локально в моей системе, я не смог запустить из-за следующей ошибк…
29 янв '18 в 21:33
0
ответов
Что означает M+L в лемме о монотонности
Изучая немного сетей Петри, я столкнулся с леммой о монотонности, которая гласит: Пусть M и L две маркировки сети. Если M->M'для сигмы конечной последовательности, то (M+L)->(M'+L) для каждой маркировки L. Если M-> для сигма бесконечной последовател…
31 авг '15 в 07:49
2
ответа
Каково будет число достижимых состояний, если модельные состояния Petri-Net находятся в цикле
Если у меня есть модель сети Петри из 8 мест и 8 транзакций. В этой модели нет мертвых состояний, потому что токен находится в цикле и проходит все 8 мест в первом цикле. Во втором и оставшихся циклах он пройдет через 6 мест, потому что токен попаде…
06 авг '15 в 05:11
1
ответ
Сеть Петри с дугой сброса
Как найти обычную сеть Петри, эквивалентную сети Петри с дугой сброса? Эта обычная сеть должна уважать семантику сброса сети Петри. С наилучшими пожеланиями.
19 фев '15 в 10:50
1
ответ
Создание токенов со случайным значением
В петрине, показанном ниже, у меня проблема с созданием токенов со случайным значением вместо input2, так как функция rand(), похоже, не работает. Есть ли другой способ сделать это?
20 сен '16 в 08:19
1
ответ
Кто знает алгоритм проверки правильности k?
У меня есть сеть рабочих процессов (сеть Петри), и я должен реализовать алгоритм, чтобы проверить, правильно ли это звучит.
18 май '11 в 19:59
3
ответа
Анализатор параллельного кода
Мне было интересно, есть ли какая-либо платформа или приложение (приложение)/ программа, которая может анализировать параллелизм любого кода Java? Если инструмент знает все реализации jre-поставленных классов и методов, он сводится к простому анализ…
22 май '11 в 20:47
1
ответ
Как преобразовать диаграмму деятельности в петринет, синтезировать ее и затем проанализировать?
Я делаю проект на сетях Петри. Я сгенерировал диаграмму активности (в формате.xmi), используя инструмент UML Umbrello. Мне нужно преобразовать его в сеть Петри, а затем синтезировать его с помощью инструмента Petrify. Но чтобы преобразовать его в се…
14 май '11 в 16:46
0
ответов
PetriNet Как решить проблему доступности?
Я должен сделать игру, в которой 15 учеников выберут роль в команде и попадут в команду. Роли 3 (Воры, Хорошие Люди, Полицейские Офицеры). В итоге будет 5 команд по 3 студента в каждой, одна будет вором, одна будет хорошим человеком, а другая - поли…
30 окт '18 в 10:03
3
ответа
В чем разница между теоретической сетью Петри и рабочим процессом BPMN?
Есть теоретические сети Петри: http://en.wikipedia.org/wiki/Petri_net И затем есть рабочие процессы, выраженные как BPMN 2.0. В чем именно разница? Причина, по которой я спрашиваю, состоит в том, что мы хотим упростить бизнес-процессы, смоделированн…
13 авг '14 в 05:33
3
ответа
Тупик без цикла
Если я нарисую график, который символизирует все возможные вызовы функций блокировки (синхронизированные методы Java), и у меня нет цикла в этом графике, могу ли я быть уверен, что взаимоблокировки невозможны. Разве петрицы не работают так? Я не ищу…
01 апр '11 в 09:01
1
ответ
Использование java-кода в pnml для представления цветной сети Петри
Когда мы пишем Цветную сеть Петри (CP-Net), можем ли мы использовать Java-код в разделе объявлений, как в следующем примере в PNML, или мы должны также рассмотреть стандарт в этой части? Следующий пример представляет собой представление XML, но може…
11 май '12 в 18:14
2
ответа
Проверка одновременных каналов, готовых к работе
Я хотел бы знать, позволяет ли язык go проверять одновременность готовности нескольких каналов. Вот несколько надуманный пример того, что я пытаюсь сделать. (Фактическая причина состоит в том, чтобы посмотреть, смогу ли я внедрить петринец в ходу) p…
29 июл '15 в 17:23