About: Petri net     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatFormalSpecificationLanguages, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FPetri_net&graph=http%3A%2F%2Fdbpedia.org&graph=http%3A%2F%2Fdbpedia.org

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.

AttributesValues
rdf:type
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)
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)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Animated_Petri_net_commons.gif
  • http://commons.wikimedia.org/wiki/Special:FilePath/Detailed_petri_net.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/Liveness-levels.gif
  • http://commons.wikimedia.org/wiki/Special:FilePath/Petri_Net_A.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Petri_Net_B.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Petri_net_types.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Reachability_graph_for_petri_net.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/Two-boundedness-cb.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/Two-boundedness-ub.png
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software