Petri net (original) (raw)
Petriho síť je matematická reprezentace diskrétních distribuovaných systémů. Petriho síť graficky reprezentuje strukturu distribuovaného systému jako orientovaný bipartitní graf s ohodnocením. Taková Petriho síť má dva druhy uzlů označované jako místa a přechody a orientované hrany spojující místa s přechody. Petriho sítě byly vytvořeny roku 1962 Carlem Adamem Petrim v jeho disertační práci. Příklad Petriho sítě v pohybu
| Property | Value |
|---|---|
| dbo:abstract | Una Xarxa de Petri, també coneguda com una xarxa de lloc / transició, és un llenguatge matemàtic de modelatge per a la descripció de sistemes distribuïts discrets. Van ser ideades cap al 1960 per . Són una generalització de la teoria d'autòmats que permet expressar activitats concurrents. També són conegudes com a PN (Petri Net). En la seva tesi doctoral "kommunikation mitautomaten" (Comunicació amb autòmats), estableix els fonaments per al desenvolupament teòric dels conceptes bàsics de les PN. Una xarxa de petri es un graf dirigit bipartit, en el qual els nodes representen transicions (representades amb una barra vertical) i llocs (representats amb un cercle). Els arcs, descriuen la relació entre transicions i llocs. Les xarxes de Petri ofereixen una notació gràfica de processos pas a pas, que inclouen decisions, iteracions, i execucions concurrents. A diferència d'altres estàndards, com per exemple o els Model i Notació de Processos de Negoci (Business Process Model and Notation) , les xarxes de petri tenen una notació matemàtica exacta de la seva semàntica d'execució, a més de teoria matemàtica per a l'anàlisi de processos. (ca) Petriho síť je matematická reprezentace diskrétních distribuovaných systémů. Petriho síť graficky reprezentuje strukturu distribuovaného systému jako orientovaný bipartitní graf s ohodnocením. Taková Petriho síť má dva druhy uzlů označované jako místa a přechody a orientované hrany spojující místa s přechody. Petriho sítě byly vytvořeny roku 1962 Carlem Adamem Petrim v jeho disertační práci. Příklad Petriho sítě v pohybu (cs) شبكات بيتري هي نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطعة أي تحصل في نفس الوقت (parallel). ابتكرت شبكات بيتري عن طريق كارل آدم بيتري في الستينات وتعتبر تعميمًا لنظرية الآلات Automata theory. (ar) Als Petri-Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet.Der Informatiker Carl Adam Petri hat sie in den 1960er Jahren ausgehend von endlichen Automatenentwickelt, zunächst noch nicht in der heute gebräuchlichen Form.Dabei hat Petri nach grundlegenden Prinzipien zur Beschreibung nebenläufiger Schaltvorgänge gesucht, die später zuaxiomatischen Theorien der Nebenläufigkeit verdichtet wurden. Heutzutage werden Varianten von Petri-Netzen nicht nur in der Informatik zur Modellierung verwendet, sondern beispielsweise auch in der theoretischen Biologie, in der Geschäftsprozesswelt, im Maschinenbau, der Logistik und vielen anderen Gebieten. Zahlreiche andere Modellierungstechniken wie z. B. Aktivitätsdiagramme der UML 2 haben Prinzipien der Petri-Netze übernommen. (de) Una Red de Petri es una representación matemática o gráfica de un sistema a eventos discretos en el cual se puede describir la topología de un sistema distribuido, paralelo o concurrente. La red de Petri esencial fue definida en la década de los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que permite expresar un sistema a eventos concurrentes. Una red de Petri está formada por , , y que ocupan posiciones dentro de los lugares. Las reglas son: Los arcos conectan un lugar a una transición así como una transición a un lugar. No puede haber arcos entre lugares ni entre transiciones. Los lugares contienen un número finito o infinito contable de marcas. Las transiciones se disparan, es decir consumen marcas de una posición de inicio y producen marcas en una posición de llegada. Una transición está habilitada si tiene marcas en todas sus posiciones de entrada. En su forma más básica, las marcas que circulan en una red de Petri son todas idénticas. Se puede definir una variante de las redes de Petri en las cuales las marcas pueden tener un color (una información que las distingue), un tiempo de activación y una jerarquía en la red. La mayoría de los problemas sobre redes de Petri son decidibles, tales como el carácter acotado y la cobertura. Para resolverlos se utiliza un árbol de Karp-Miller. Se sabe que el es decidible, al menos en un tiempo exponencial. (es) Un réseau de Petri (aussi connu comme un réseau de Place/Transition ou réseau de P/T) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels…) travaillant sur des variables discrètes. Les réseaux de Petri sont apparus en 1962, dans la thèse de doctorat de Carl Adam Petri.Les réseaux de Petri sont des outils graphiques et mathématiques permettant de modéliser et de vérifier le comportement dynamique des systèmes à événements discrets comme les systèmes manufacturiers, les systèmes de télécommunications, les réseaux de transport. Le diagramme d'activité UML et le Grafcet sont des dérivés simplifiés de réseau de Petri, mis à part qu'à un modèle basé sur un réseau de Petri est associée une représentation mathématique de matrices de transitions d'état permettant d'assurer des preuves formelles de théorie des graphes, d'algèbre temporelle et de processus stochastiques markoviens. (fr) A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph that has two types of elements, places and transitions. Place elements are depicted as white circles and transition elements are depicted as rectangles. A place can contain any number of tokens, depicted as black circles. A transition is enabled if all places connected to it as inputs contain at least one token. Some sources state that Petri nets were invented in August 1939 by Carl Adam Petri—at the age of 13—for the purpose of describing chemical processes. Like industry standards such as UML activity diagrams, Business Process Model and Notation and event-driven process chains, Petri nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Unlike these standards, Petri nets have an exact mathematical definition of their execution semantics, with a well-developed mathematical theory for process analysis. (en) Petri net adalah salah satu model untuk merepresentasikan sistem terdistribusi diskret. Sebagai sebuah model, Petri net merupakan grafik 2 arah yang terdiri dari place, transition, dan tanda panah yang menghubungkan keduanya. Di samping itu, untuk merepresentasikan keadaan sistem, token diletakkan pada place tertentu. Ketika sebuah transition terpantik, token akan bertransisi sesuai tanda panah. Petri net pertama kali diajukkan oleh pada tahun 1962. * l * * s (in) ペトリネット（英: Petri net）とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。 (ja) Una rete di Petri (conosciuta anche come rete posto/transizione o rete P/T) è una delle varie rappresentazioni matematiche di un sistema distribuito discreto. Come un linguaggio di modellazione, esso descrive la struttura di un sistema distribuito come un grafo bipartito con delle annotazioni. Furono inventate nel 1962 durante la tesi di dottorato dell'autore Carl Adam Petri. (it) Petrinetten of P/T-netten zijn een wiskundige modelleertaal die in de informatica wordt gebruikt om gedistribueerde of anderszins parallelle processen te modelleren. Petrinetten zijn grafen die meestal als diagram worden getekend; ze zijn te beschouwen als een alternatief voor activiteitendiagrammen. Ze zijn voor het eerst beschreven in het proefschrift van Carl Adam Petri (1962). Eindigetoestandsautomaten (die geen parallelliteit ondersteunen) kunnen als beperkte, specifieke vormen van petrinetten worden opgevat. Een petrinet bestaat uit plaatsen en transities verbonden met pijlen, met in elke plaats 0 of meer tokens (het Nederlandse woord daarvoor, fiche wordt zelden gebruikt). Plaatsen worden meestal getekend als cirkels, transities als balkjes of vierkanten, tokens als de ogen van een dobbelsteen. In de meeste standaardpetrinetten verbinden pijlen uitsluitend plaatsen en transities, nooit plaatsen met plaatsen of transities met transities. Een transitie stelt een mogelijke toestandsovergang voor; de plaatsen geven toestanden of voorzieningen aan die voor de uitvoering van transities nodig kunnen zijn of door de uitvoering kunnen worden vervuld / vrijgegeven. De pijlen geven aan welke plaatsen pre- dan wel postcondities voor welke transities zijn. De plaatsen waarmee een transitie via inkomende pijlen verbonden is, worden de invoerplaatsen van de transitie genoemd; de uitvoerplaatsen zijn de plaatsen waar (uitgaande) pijlen heenlopen vanuit de transitie. De toestand van het petrinet is een markering, die aan elke plaats een niet-negatief getal toekent, voorstellende het aantal beschikbare exemplaren van de desbetreffende voorziening. In het diagram wordt dat getekend door het desbetreffende aantal puntjes (tokens) in de plaats te tekenen. Het optreden van een transitie wordt vuren genoemd; het is alleen mogelijk als in elk van de invoerplaatsen van de transitie ten minste een token ligt, en heeft als effect dat uit elk van die plaatsen een token verdwijnt (wordt geconsumeerd), terwijl op elk van de uitvoerplaatsen een token wordt toegevoegd (geproduceerd). De uitvoering van een petrinet wordt ook wel het token game genoemd. Is er nooit meer dan een token in een plaats, dan kan die plaats opgevat worden als een voorwaarde die al dan niet vervuld is. Geldt dit voor alle plaatsen, dan wordt het petrinet veilig genoemd. (nl) Сеть Петри — математический объект, используемый для моделирования динамических дискретных систем, предложенный Карлом Петри в 1962 году. Определяется как двудольный ориентированный мультиграф, состоящий из вершин двух типов — позиций и переходов, соединённых между собой дугами. Вершины одного типа не могут быть соединены непосредственно. В позициях могут размещаться метки (маркеры), способные перемещаться по сети. Событием называют срабатывание перехода, при котором метки из входных позиций этого перехода перемещаются в выходные позиции. События происходят мгновенно либо разновременно, при выполнении некоторых условий. Сеть Петри есть мультиграф, так как он допускает существование кратных дуг от одной вершины графа к другой. Так как дуги являются направленными, то это ориентированный мультиграф. Вершины графа можно разделить на два множества (позиции и переходы) таким образом, что каждая дуга будет направлена от элемента одного множества (позиций или переходов) к элементу другого множества (переходов или позиций); следовательно, такой граф является двудольным ориентированным мультиграфом. Изначально разрабатывались для моделирования систем с параллельными взаимодействующими компонентами; основные положения теории связи асинхронных компонент вычислительной системы Петри сформулировал в докторской диссертации «Связь автоматов». (ru) Petrinät är ett formellt och grafiskt språk för att modellera och beskriva distribuerade system med samtidighet och resurshantering. Petrinät är riktade bipartita grafer där de två nodmängderna är platser (ritas som cirklar) och övergångar (ritas som tvärstreck eller rektanglar). De riktade bågarna går från en plats till en övergång eller vice versa och påvisar flödesriktningen. När bågen går från en plats till en övergång kallas platsen för inmatningsplats (input place) och när bågen går från en övergång till en plats kallas platsen för utmatningsplats (output place). Platserna kan innehålla ett antal markeringar (ritas som prickar), även kallade tokens. En fördelning av markeringar i nätets platser kallas för en märkning eller för en konfiguration av nätet. En övergång kan avfyra om det finns tillräckligt med markeringar på dess inmatningsplatser och kallas då för aktiverbar. När en övergång avfyrar konsumerar den dessa markeringar och producerar markeringar på utmatningsplatserna. En avfyrning är en atomär händelse, den kan inte avbrytas. Körning av ett petrinät är inte deterministiskt eftersom en övergång inte behöver avfyra bara för att den är aktiverbar. (sv) Sieć Petriego – język modelowania dyskretnych systemów rozproszonych. Sieci Petriego zostały zdefiniowane w latach 60. XX w. przez Carla Adama Petriego. Przez swoją zdolność do wyrażania współbieżnych zdarzeń jest blisko związana z teorią automatów. Sieć Petriego w najprostszej wersji składa się z "miejsc", "tranzycji" oraz krawędzi skierowanych. Taką siecią można jedynie opisać układ jako statyczne połączenie możliwych do osiągnięcia stanów. Aby opisać konkretny stan układu, potrzebne są "żetony", które można przemieszczać pomiędzy miejscami poprzez przejścia, po krawędziach grafu. Tradycyjnie miejsce oznacza się okręgiem, w którym można umieścić żeton prezentowany przez koło. W jednym miejscu może znajdować się dowolna nieujemna liczba żetonów. Tranzycje oznacza się prostokątami lub kreskami a krawędzie to strzałki. Krawędzie mogą mieć wagi większe lub równe 1. Wagi równej 1 nie oznacza się, tak jak pokazano na rysunku. Waga określa ile dokładnie żetonów przechodzi po krawędzi. W najprostszej postaci, żetony w sieci Petriego są nierozróżnialne między sobą. Bardziej złożone postacie sieci Petriego korzystają z pojęć kolorowania żetonów, czasu aktywacji przejść oraz hierarchii. Poza nimi istnieje wiele innych różnych rozszerzeń Sieci Petriego, takich jak sieci obiektowe (z żetonami, które mogą być Sieciami Petriego), z ograniczonymi pojemnościami miejsc, łukami wzbraniającymi i inne. (pl) Uma rede de Petri ou rede de transição é uma das várias representações matemáticas para sistemas distribuídos discretos. Como uma linguagem de modelagem, ela define graficamente a estrutura de um sistema distribuído como um grafo direcionado com comentários. Possui nós de posição, nós de transição, e arcos direcionados conectando posições com transições. Redes de Petri foram inventadas em agosto de 1939 por Carl Adam Petri quando ele tinha 13 anos. Vinte e três (23) anos depois, ele documentou o trabalho como parte de sua tese de doutorado. A qualquer momento durante a execução de uma rede de Petri, cada posição pode armazenar um ou mais tokens. Diferente de sistemas mais tradicionais de processamento de dados, que podem processar somente um único fluxo de tokens entrantes, as transições de redes de Petri podem consumir e mostrar tokens de múltiplos lugares. Uma transição só pode agir nos tokens se o número requisitado de tokens aparecer em cada posição de entrada. Transições agem em tokens de entrada por um processo denominado disparo. Quando uma transição é disparada, ela consome os tokens de suas posições de entrada, realiza alguma tarefa de processamento, e realoca um número específico de tokens nas suas posições de saída. Isso é feito atomicamente. Como disparos são não determinísticos, redes de Petri são muito utilizadas para modelar comportamento concorrente em sistemas distribuídos. (pt) 佩特里網（英語：Petri net），又譯為裴氏網、派翠網路，是对离散并行系统的数学表示。佩特里網屬於離散事件動態系統，是1960年代由卡尔·亚当·佩特里发明的，适合于描述异步的、并发的计算机系统模型。佩特里網既有严格的数学表述方式，也有直观的图形表达方式。 由于佩特里網能表达并发的事件，被认为是的一种。研究领域趋向认为佩特里網是所有流程定义语言之母。 (zh) Мережі Петрі (МП) — математичний апарат для моделювання динамічних дискретних систем. Вперше описані Карлом Петрі у 1962 році. МП використовуються для моделювання асинхронних систем, що функціонують як сукупність паралельних взаємодіючих процесів. Аналіз МП дозволяє отримати інформацію про структуру та динамічну поведінку модельованої системи. Причинно-наслідковий зв'язок подій в асинхронних системах задається множиною відношень вигляду «умови-події». У МП умови — це позиції, а події — переходи. Відповідно до цього граф МП є двочастковим орієнтованим мультиграфом. Орієнтовані дуги можуть сполучати лише позиції і переходи в прямому і зворотному напрямі. МП є мультиграфом, оскільки допускається кратність дуг між позиціями і переходами. B графах МП кількісні характеристики умов (числа натурального ряду) прийнято задавати числом міток у відповідних позиціях. Послідовності подій відображуються спрацьовуваннями переходів. Виконання якої-небудь умови пов'язане з появою однієї або декількох міток у відповідній цій умові позиції. Угоди про правила спрацьовування переходів є способом представлення причинно-наслідкових зв'язків між умовами і подіями в системі (рис.1). (uk) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Animated_Petri_net_commons.gif?width=300 |
| dbo:wikiPageExternalLink | https://archive.org/details/springer_10.1007-978-3-642-60794-3 https://www.morebooks.de/store/gb/book/clans-of-petri-nets/isbn/978-3-659-42228-7 |
| dbo:wikiPageID | 225192 (xsd:integer) |
| dbo:wikiPageLength | 54740 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1119636709 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Carl_Adam_Petri dbr:Prioritised_Petri_net dbr:Multigraph dbr:Nondeterministic_time dbr:Boolean_differential_calculus dbc:Petri_nets dbc:Software_modeling_language dbr:Decision_problem dbr:Design_structure_matrix dbr:EXPSPACE dbr:Petriscript dbc:Diagrams dbr:Communicating_finite-state_machines dbr:Compositionality dbr:Computational_Biology dbr:Concurrent_computing dbr:Countable_set dbr:Matrix_(mathematics) dbr:Reachability_problem dbr:Game_theory dbr:Bounded_set dbr:Multiset dbr:Concurrency_(computer_science) dbr:Concurrent_programming dbr:Control_engineering dbr:Control_theory dbr:State_space dbr:Reflexive_transitive_closure dbr:Machine_learning dbr:Coloured_Petri_net dbr:Process_architecture dbr:Path_(graph_theory) dbr:Petri_Net_Markup_Language dbr:Turing_complete dbr:Marked_graph dbr:Business_Process_Model_and_Notation dbr:Business_Process_Modeling dbr:Activity_diagram dbc:Formal_specification_languages dbc:Modeling_languages dbr:Tuple dbr:Data_analysis dbr:Disjoint_sets dbr:Covering_problem dbr:Linear_temporal_logic dbr:Actor_model dbr:ELEMENTARY dbr:Exponential_distribution dbr:Finite_set dbr:Diagram dbr:Discrete_event_dynamic_system dbr:Graph_theory dbr:Iteration dbr:Kahn_process_networks dbr:Unified_Modeling_Language dbr:Functional_programming_language dbr:Reliability_engineering dbr:Stochastic_Petri_net dbr:Trace_theory dbr:State_machine dbc:Concurrency_(computer_science) dbc:Models_of_computation dbr:Bipartite_graph dbr:Dualistic_Petri_Nets dbr:Well-formed_Petri_net dbr:Modeling_language dbr:Software_design dbr:Automata_theory dbr:CPN_Tools dbr:If_and_only_if dbr:Indeterminacy_in_concurrent_computation dbr:Method_of_analytic_tableaux dbr:Markov_chain dbr:Sequential_function_chart dbr:Simulation dbr:Vector_addition_system dbr:Workflow dbr:Workflow_management_system dbr:Nets_within_Nets dbr:Expressive_power_(computer_science) dbr:Diagnosis_(Artificial_intelligence) dbr:Distributed_systems dbr:Event-driven_process_chain dbr:Finite-state_machine dbr:Process_modeling dbr:Signal_transition_graphs dbr:Nondeterministic_algorithm dbr:Modularity_(programming) dbr:Mathematical dbr:Vector_(mathematics) dbr:Vector_addition_systems dbr:Richard_Karp dbr:State_transition_system dbr:Finite_state_automaton dbr:Directed_edge dbr:Process_algebra dbr:Coloured_Petri_nets dbr:File:Animated_Petri_net_commons.gif dbr:File:Detailed_petri_net.png dbr:File:Liveness-levels.gif dbr:File:Petri_Net_A.jpg dbr:File:Petri_Net_B.jpg dbr:File:Petri_net_types.svg dbr:File:Reachability_graph_for_petri_net.png dbr:File:Two-boundedness-cb.png dbr:File:Two-boundedness-ub.png dbr:High-level_Petri_net dbr:Semi-decision_procedure dbr:Timed_Petri_nets dbr:Workflow_net |
| dbp:cs1Dates | y (en) |
| dbp:date | May 2019 (en) |
| dbp:wikiPageUsesTemplate | dbt:Citation_needed dbt:Cite_book dbt:Cite_journal dbt:Cite_thesis dbt:Commons_category dbt:Expand_section dbt:Harv dbt:Mvar dbt:Reflist dbt:Short_description dbt:Use_dmy_dates |
| dct:subject | dbc:Petri_nets dbc:Software_modeling_language dbc:Diagrams dbc:Formal_specification_languages dbc:Modeling_languages dbc:Concurrency_(computer_science) dbc:Models_of_computation |
| gold:hypernym | dbr:Languages |
| rdf:type | dbo:Language yago:WikicatNetworks yago:WikicatSpecificationLanguages yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Group100031264 yago:Know-how105616786 yago:Language106282651 yago:Method105660268 yago:Network108434259 yago:PsychologicalFeature100023100 yago:System108435388 yago:WikicatFormalMethods yago:WikicatFormalSpecificationLanguages |
| rdfs:comment | Petriho síť je matematická reprezentace diskrétních distribuovaných systémů. Petriho síť graficky reprezentuje strukturu distribuovaného systému jako orientovaný bipartitní graf s ohodnocením. Taková Petriho síť má dva druhy uzlů označované jako místa a přechody a orientované hrany spojující místa s přechody. Petriho sítě byly vytvořeny roku 1962 Carlem Adamem Petrim v jeho disertační práci. Příklad Petriho sítě v pohybu (cs) شبكات بيتري هي نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطعة أي تحصل في نفس الوقت (parallel). ابتكرت شبكات بيتري عن طريق كارل آدم بيتري في الستينات وتعتبر تعميمًا لنظرية الآلات Automata theory. (ar) Petri net adalah salah satu model untuk merepresentasikan sistem terdistribusi diskret. Sebagai sebuah model, Petri net merupakan grafik 2 arah yang terdiri dari place, transition, dan tanda panah yang menghubungkan keduanya. Di samping itu, untuk merepresentasikan keadaan sistem, token diletakkan pada place tertentu. Ketika sebuah transition terpantik, token akan bertransisi sesuai tanda panah. Petri net pertama kali diajukkan oleh pada tahun 1962. * l * * s (in) ペトリネット（英: Petri net）とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。 (ja) Una rete di Petri (conosciuta anche come rete posto/transizione o rete P/T) è una delle varie rappresentazioni matematiche di un sistema distribuito discreto. Come un linguaggio di modellazione, esso descrive la struttura di un sistema distribuito come un grafo bipartito con delle annotazioni. Furono inventate nel 1962 durante la tesi di dottorato dell'autore Carl Adam Petri. (it) 佩特里網（英語：Petri net），又譯為裴氏網、派翠網路，是对离散并行系统的数学表示。佩特里網屬於離散事件動態系統，是1960年代由卡尔·亚当·佩特里发明的，适合于描述异步的、并发的计算机系统模型。佩特里網既有严格的数学表述方式，也有直观的图形表达方式。 由于佩特里網能表达并发的事件，被认为是的一种。研究领域趋向认为佩特里網是所有流程定义语言之母。 (zh) Una Xarxa de Petri, també coneguda com una xarxa de lloc / transició, és un llenguatge matemàtic de modelatge per a la descripció de sistemes distribuïts discrets. Van ser ideades cap al 1960 per . Són una generalització de la teoria d'autòmats que permet expressar activitats concurrents. També són conegudes com a PN (Petri Net). En la seva tesi doctoral "kommunikation mitautomaten" (Comunicació amb autòmats), estableix els fonaments per al desenvolupament teòric dels conceptes bàsics de les PN. (ca) Als Petri-Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet.Der Informatiker Carl Adam Petri hat sie in den 1960er Jahren ausgehend von endlichen Automatenentwickelt, zunächst noch nicht in der heute gebräuchlichen Form.Dabei hat Petri nach grundlegenden Prinzipien zur Beschreibung nebenläufiger Schaltvorgänge gesucht, die später zuaxiomatischen Theorien der Nebenläufigkeit verdichtet wurden. (de) Una Red de Petri es una representación matemática o gráfica de un sistema a eventos discretos en el cual se puede describir la topología de un sistema distribuido, paralelo o concurrente. La red de Petri esencial fue definida en la década de los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que permite expresar un sistema a eventos concurrentes. (es) Un réseau de Petri (aussi connu comme un réseau de Place/Transition ou réseau de P/T) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels…) travaillant sur des variables discrètes. Les réseaux de Petri sont apparus en 1962, dans la thèse de doctorat de Carl Adam Petri.Les réseaux de Petri sont des outils graphiques et mathématiques permettant de modéliser et de vérifier le comportement dynamique des systèmes à événements discrets comme les systèmes manufacturiers, les systèmes de télécommunications, les réseaux de transport. (fr) A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph that has two types of elements, places and transitions. Place elements are depicted as white circles and transition elements are depicted as rectangles. A place can contain any number of tokens, depicted as black circles. A transition is enabled if all places connected to it as inputs contain at least one token. Some sources state that Petri nets were invented in August 1939 by Carl Adam Petri—at the age of 13—for the purpose of describing chemical processes. (en) Petrinetten of P/T-netten zijn een wiskundige modelleertaal die in de informatica wordt gebruikt om gedistribueerde of anderszins parallelle processen te modelleren. Petrinetten zijn grafen die meestal als diagram worden getekend; ze zijn te beschouwen als een alternatief voor activiteitendiagrammen. Ze zijn voor het eerst beschreven in het proefschrift van Carl Adam Petri (1962). Eindigetoestandsautomaten (die geen parallelliteit ondersteunen) kunnen als beperkte, specifieke vormen van petrinetten worden opgevat. (nl) Sieć Petriego – język modelowania dyskretnych systemów rozproszonych. Sieci Petriego zostały zdefiniowane w latach 60. XX w. przez Carla Adama Petriego. Przez swoją zdolność do wyrażania współbieżnych zdarzeń jest blisko związana z teorią automatów. (pl) Uma rede de Petri ou rede de transição é uma das várias representações matemáticas para sistemas distribuídos discretos. Como uma linguagem de modelagem, ela define graficamente a estrutura de um sistema distribuído como um grafo direcionado com comentários. Possui nós de posição, nós de transição, e arcos direcionados conectando posições com transições. Redes de Petri foram inventadas em agosto de 1939 por Carl Adam Petri quando ele tinha 13 anos. Vinte e três (23) anos depois, ele documentou o trabalho como parte de sua tese de doutorado. (pt) Petrinät är ett formellt och grafiskt språk för att modellera och beskriva distribuerade system med samtidighet och resurshantering. Petrinät är riktade bipartita grafer där de två nodmängderna är platser (ritas som cirklar) och övergångar (ritas som tvärstreck eller rektanglar). De riktade bågarna går från en plats till en övergång eller vice versa och påvisar flödesriktningen. När bågen går från en plats till en övergång kallas platsen för inmatningsplats (input place) och när bågen går från en övergång till en plats kallas platsen för utmatningsplats (output place). (sv) Сеть Петри — математический объект, используемый для моделирования динамических дискретных систем, предложенный Карлом Петри в 1962 году. Определяется как двудольный ориентированный мультиграф, состоящий из вершин двух типов — позиций и переходов, соединённых между собой дугами. Вершины одного типа не могут быть соединены непосредственно. В позициях могут размещаться метки (маркеры), способные перемещаться по сети. Событием называют срабатывание перехода, при котором метки из входных позиций этого перехода перемещаются в выходные позиции. События происходят мгновенно либо разновременно, при выполнении некоторых условий. (ru) Мережі Петрі (МП) — математичний апарат для моделювання динамічних дискретних систем. Вперше описані Карлом Петрі у 1962 році. МП використовуються для моделювання асинхронних систем, що функціонують як сукупність паралельних взаємодіючих процесів. Аналіз МП дозволяє отримати інформацію про структуру та динамічну поведінку модельованої системи. B графах МП кількісні характеристики умов (числа натурального ряду) прийнято задавати числом міток у відповідних позиціях. (uk) |
| rdfs:label | شبكة بيتري (ar) Xarxa de Petri (ca) Petriho síť (cs) Petri-Netz (de) Red de Petri (es) Petri net (in) Réseau de Petri (fr) Rete di Petri (it) ペトリネット (ja) Petri net (en) Petrinet (nl) Sieć Petriego (pl) Rede de Petri (pt) Сеть Петри (ru) Petrinät (sv) 佩特里網 (zh) Мережі Петрі (uk) |
| owl:sameAs | freebase:Petri net yago-res:Petri net http://d-nb.info/gnd/4045388-1 wikidata:Petri net dbpedia-ar:Petri net dbpedia-bg:Petri net http://bs.dbpedia.org/resource/Petrijeva_mreža dbpedia-ca:Petri net dbpedia-cs:Petri net dbpedia-de:Petri net dbpedia-es:Petri net dbpedia-fa:Petri net dbpedia-fr:Petri net dbpedia-he:Petri net dbpedia-hr:Petri net dbpedia-hu:Petri net dbpedia-id:Petri net dbpedia-it:Petri net dbpedia-ja:Petri net http://lt.dbpedia.org/resource/Petri_tinklai dbpedia-nl:Petri net dbpedia-pl:Petri net dbpedia-pt:Petri net dbpedia-ro:Petri net dbpedia-ru:Petri net dbpedia-sk:Petri net dbpedia-sv:Petri net dbpedia-tr:Petri net dbpedia-uk:Petri net dbpedia-zh:Petri net https://global.dbpedia.org/id/4tty9 |
| prov:wasDerivedFrom | wikipedia-en:Petri_net?oldid=1119636709&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Animated_Petri_net_commons.gif wiki-commons:Special:FilePath/Detailed_petri_net.png wiki-commons:Special:FilePath/Liveness-levels.gif wiki-commons:Special:FilePath/Petri_Net_A.jpg wiki-commons:Special:FilePath/Petri_Net_B.jpg wiki-commons:Special:FilePath/Petri_net_types.svg wiki-commons:Special:FilePath/Reachability_graph_for_petri_net.png wiki-commons:Special:FilePath/Two-boundedness-cb.png wiki-commons:Special:FilePath/Two-boundedness-ub.png |
| foaf:isPrimaryTopicOf | wikipedia-en:Petri_net |
| is dbo:knownFor of | dbr:Carl_Adam_Petri |
| is dbo:wikiPageDisambiguates of | dbr:PN dbr:Petri_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Place/transition_net dbr:Event-driven_Petri_net dbr:Petri_Net dbr:Petri_net_theory dbr:PT_net dbr:Petri-Net dbr:Petri_Nets dbr:Petri_nets dbr:Petrinet dbr:Petrinets dbr:Differential_petri_net dbr:Event-driven_petri_nets dbr:Event_driven_petri_nets |
| is dbo:wikiPageWikiLink of | dbr:Carl_Adam_Petri dbr:Prioritised_Petri_net dbr:Process_mining dbr:Scala_(programming_language) dbr:List_of_computability_and_complexity_topics dbr:Algebraic_Petri_net dbr:Applied_category_theory dbr:Architecture_Design_and_Assessment_System dbr:History_of_the_Actor_model dbr:University_of_Bonn dbr:Deterministic_system_(philosophy) dbr:Dynamic_enterprise_modeling dbr:Ina_Koch dbr:Interactions_of_actors_theory dbr:International_Conference_on_Applicatio..._Theory_of_Petri_Nets_and_Concurrency dbr:International_Conference_on_Reachability_Problems dbr:List_of_network_theory_topics dbr:List_of_programming_language_researchers dbr:Petriscript dbr:Signed_graph dbr:Zhiwu_Li dbr:Computability dbr:Concurrent_computing dbr:Mengchu_Zhou dbr:Gene_regulatory_network dbr:Reachability_problem dbr:OPS5 dbr:Game_theory dbr:Model_checking dbr:Conceptual_model dbr:Concurrency_(computer_science) dbr:Concurrency_semantics dbr:Content-oriented_workflow_models dbr:Theory_of_regions dbr:Laboratoire_d'Automatique,_Génie_Informatique_et_Signal dbr:Place/transition_net dbr:Luigi_Dadda dbr:Coloured_Petri_net dbr:Computer_Pioneer_Award dbr:Computer_science dbr:Feng_Chu dbr:Functional_software_architecture dbr:Fundamental_modeling_concepts dbr:Process_architecture dbr:PN dbr:Petri_(disambiguation) dbr:Petri_Net_Markup_Language dbr:Place dbr:Ralf_Steinmetz dbr:Synchronization_(computer_science) dbr:Marked_graph dbr:Activity_(UML) dbr:Activity_diagram dbr:Actor_model_theory dbr:Token-based_replay dbr:Dualistic_Petri_nets dbr:Game_Description_Language dbr:YAWL dbr:Aarhus_University_Department_of_Computer_Science dbr:Actor_model dbr:Actor_model_later_history dbr:Alpha_algorithm dbr:Formal_verification dbr:PGF/TikZ dbr:Carla_Seatzu dbr:Cigarette_smokers_problem dbr:Diagram dbr:Discrete_mathematics dbr:Formal_methods dbr:Formal_specification dbr:Graph_dynamical_system dbr:Kahn_process_networks dbr:Kees_van_Hee dbr:Service_choreography dbr:Susanna_Donatelli dbr:Maria_Pia_Fanti dbr:Ursula_Goltz dbr:Covering_problems dbr:Hybrid_system dbr:Stochastic_Petri_net dbr:State_diagram dbr:Trace_theory dbr:Asynchronous_circuit dbr:Jetty_Kleijn dbr:Bipartite_graph dbr:TAPAAL_Model_Checker dbr:Eike_Best dbr:Token dbr:Translation_(biology) dbr:Well-formed_Petri_net dbr:Widening_(computer_science) dbr:Modeling_language dbr:Augmented_marked_graph dbr:Marc_Voorhoeve dbr:Business_process_discovery dbr:CPN-AMI dbr:CPN_Tools dbr:Event-driven_Petri_net dbr:Petri_Net dbr:Petri_net_theory dbr:Cameleon_(programming_language) dbr:Process_calculus dbr:Maria_(reachability_analyzer) dbr:Meta-Object_Facility dbr:STG dbr:Synchronous_Data_Flow dbr:Rüdiger_Valk dbr:Vector_addition_system dbr:Workflow dbr:Workflow_management_system dbr:Nets_within_Nets dbr:New_Cybernetics_(Gordon_Pask) dbr:Event-driven_process_chain dbr:Event_relationship_graph dbr:Finite-state_machine dbr:Workflow_application dbr:Scientific_phenomena_named_after_people dbr:Multiple_buffering dbr:Sequential_dynamical_system dbr:Signal_transition_graphs dbr:Simulation_in_manufacturing_systems dbr:Petri_net_unfoldings dbr:Safety_and_liveness_properties dbr:PT_net dbr:Scientific_workflow_system dbr:Tropical_analysis dbr:Petri-Net dbr:Petri_Nets dbr:Petri_nets dbr:Petrinet dbr:Petrinets dbr:Differential_petri_net dbr:Event-driven_petri_nets dbr:Event_driven_petri_nets |
| is foaf:primaryTopic of | wikipedia-en:Petri_net |
