Обсуждение:Сеть Петри
 | Эта статья имеет рейтинг B-класса по шкале оценки контента Википедии . Она представляет интерес для следующих WikiProjects : | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||
This page has archives. Sections older than 365 days may be automatically archived by Lowercase sigmabot III when more than 5 sections are present. |
Необходима ссылка на введение
Справочный раздел этой статьи указывает на несколько математических статей о сетях Петри. Сети Петри имеют ограничения, и существуют различные формы, чтобы попытаться устранить ограничения мгновенных/синхронизированных сетей Петри. Однако справочный раздел ясно показывает несколько математических статей о формализме сетей Петри. Это контрастирует с диаграммой последовательности UML, которая является лишь иллюстрацией для диаграммы информации или потока выполнения, но может не быть в состоянии «доказать» что-либо более продвинутое, чем то, что изображено на диаграмме. Это контрастирует с сетью Петри, где свойства могут быть выведены из диаграммы. Является ли справочный раздел подходящей цитатой? Тегер, который не оставил здесь текста, похоже, хочет статью о статьях в справочном разделе. 184.144.115.253 (обсуждение) 15:18, 26 марта 2022 (UTC)
- На самом деле вся статья основана на математике. Мало что говорится о прагматическом применении сети Петри. Это полностью противоречит тому, что есть на странице диаграммы последовательности UML . Следующая тема — эта страница обсуждения ссылается на статью как на слишком висящую. Кроме того, сеть Петри отнесена к «математической категории», а диаграмма последовательности — нет. Она явно кажется более математической/формальной, и мне остается только гадать, почему она была помечена? Может быть, User:Ahmadadam96 сможет объяснить? 184.144.115.253 (обсуждение) 15:44, 26 марта 2022 (UTC)
- https://projects.laas.fr/tina/papers.php предоставляет не менее 24 возможных ссылок. 184.146.224.243 (обсуждение) 12:24, 26 июня 2022 (UTC)
Педантичный
Эта страница кажется излишне педантичной. Например, начало заполнено терминами, требующими дополнительных пояснений:
дискретные распределенные системы обобщают теорию автоматов
Кажется, нужно более простое и ясное утверждение, а я не квалифицирован! Может ли кто-нибудь сделать это доступным для такого неспециалиста, как я?
- No problemo! Я сейчас этим займусь. Vonkje 03:04, 8 июня 2005 (UTC)
- Я думаю, что график, относящийся к конечным автоматам, будет полезен для перехода к введению. Это объясняет, почему сети Петри более сложны. Сложно сделать сложную тему простой. Простой пример может помочь. Клиенты в банке/DMV/водной горке и количество сотрудников/горок, необходимое для поддержания короткой очереди клиентов? 184.144.115.253 (обсуждение) 15:33, 26 марта 2022 (UTC)
«Также известен как»
Vonkje, я не доволен предложениями "также известны как" в вашем формальном определении. Например, место - это не "файл" или "другой контейнер", это место, абстрактное понятие. Аналогично, я думаю, что ваше введение использует слово транзакция там, где оно на самом деле неуместно. (Одна из проблем с сетями Петри заключается в том, что они не могут легко выражать транзакции.)
- Ты прав! ... Я поднимусь и исправлю это. Vonkje 20:37, 9 июня 2005 (UTC)
Формальная часть хороша, хотя я никогда раньше не видел разделения между дугами и весами дуг, а также не видел использования емкостей мест; я бы предложил опустить последнее. Можете ли вы дать ссылку на это определение?
-- Rp 17:17, 9 июня 2005 (UTC)
- Я тоже не видел разделения, пока не посетил мастер-класс Йорга Дезеля на 4-й конференции ACPN в 2003 году. ... имеет смысл, если подумать об этом получше. Статья называется «Что такое сеть Петри» Дезеля и Юхаса.
- Кстати: Теплый привет из Лейдена Эйндховену (хотя я здесь, во Флориде, на лето). Vonkje 20:37, 9 июня 2005 (UTC)
Необходимо краткое введение
Я узнал немного о формальных методах несколько лет назад. Я хотел бы лучше понять сети Петри на нескольких простых примерах.
В целом, я думаю, что Википедии нужен раздел «Введение для мирян» в большинстве технических статей. Так часто, как в этом случае, мы очень быстро становимся настолько техническими, что большинство заинтересованных мирян быстро оттолкнут.
Примеры обычно взяты из вычислительных систем. Это нормально для специалиста, и они дают ценную информацию. Однако для неспециалиста несколько простых примеров из повседневной жизни были бы гораздо полезнее для начала.
Думаю, пара рецептов для готовки была бы хороша. В частности, иллюстрирующая, как параллелизм встроен в сети Петри, и показывающая, как многие аспекты умеренно сложных рецептов могут быть выполнены в произвольном порядке, но с некоторыми ключевыми зависимостями.
Чтобы понять нотацию, приведу очень простой пример: приготовление двух чашек чая с использованием таких вещей, как люди, которые заваривают и пьют чай, чайник, чайные пакетики, сахар, молоко, ложка, чашка, блюдце, чайник и т. д. Это, вероятно, уже слишком сложно для простого примера.
Я уверен, что есть много простых повседневных примеров, которые были бы хороши. Я подозреваю, что кулинария имеет большой потенциал и будет доступна многим людям. Я даже думаю, что может быть реальная роль для онлайн-инструмента рецептов на основе Petri-Net, помогающего людям организоваться в начале рецепта, предоставляющего им выбор того, что делать, когда и помогающего им увидеть последствия. 82.46.119.89 ( talk ) 09:33, 14 июня 2024 (UTC)
Придираться
«граф, который имеет два типа элементов: места и переходы» во вводном абзаце следует изменить на «граф, который имеет два типа узлов: места и переходы». Поскольку элементы, их больше (дуги, веса и т. д.). Но *узлы* графа — это два типа. Просто мои два пенса, я не эксперт в сетях Петри. — Предыдущий неподписанный комментарий добавлен LaurV ( talk • contribs ) 02:09, 4 июля 2024 (UTC)
