e/Petri net

New Query

Information
has glosseng: A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of discrete distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. discrete events that may occur, signified by bars), places (i.e. conditions, signified by circles), and directed arcs (that describe which places are pre- and/or postconditions for which transitions, signified by arrows). Petri nets were invented in August 1939 by Carl Adam Petri – at the age of 13 – for the purpose of describing chemical processes.
lexicalizationeng: Petri nets
lexicalizationeng: Petri net
lexicalizationeng: Petri-Net
lexicalizationeng: Petrinet
subclass of(noun) a trap made of netting to catch fish or birds or insects
net
has instancee/Algebraic Petri nets
has instancee/Architecture Design and Assessment System
has instancee/Maria (reachability analyzer)
has instancee/Marked graph
has instancee/Well-formed Petri net
Meaning
Arabic
has glossara: شبكات بيتري نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطة أي تحصل في نفس الوقت (parallel). أبتكرت شبكات بيتري عن طريق كارل بيتر بيتري في الستينات وتعتبر تعميما لنظرية الآلات Automata theory
lexicalizationara: شبكات بيتري
Bulgarian
has glossbul: Мрежите на Петри задават един от няколкото езика за математическо моделиране и описание на дискретни разпределени системи. Мрежата на Петри е ориентиран двуделен (двуцветен) граф, чиито възли представляват: * преходи (transitions), т.е. дискретни събития, които могат да настъпят, * позиции (places), т.е. условия, и * насочени (ориентирани) дъги, които описват кои позиции за кои преходи са пред- и/или пост-условия.
lexicalizationbul: мрежа на Петри
Catalan
has glosscat: Una Xarxa de Petri és una representació matemàtica dun sistema distribuït discret. Les xarxes de Petri van ser definides en els anys 1960 per Carl Adam Petri. Són una generalització de la teoria dautòmats que permet expressar activitats concurrents.
lexicalizationcat: xarxes de Petri
Czech
has glossces: 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.
lexicalizationces: Petriho síť
German
has glossdeu: Ein Petri-Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri-Netze nennt man auch Bedingungs- oder Ereignisnetz. Petri-Netze wurden durch Carl Adam Petri in den 1960er Jahren definiert. Sie verallgemeinern wegen der Fähigkeit, nebenläufige Ereignisse darzustellen, die Automatentheorie.
lexicalizationdeu: Petri-Netz
lexicalizationdeu: Petrinetz
Persian
has glossfas: نمایش ساختار: نمایش گرافیکی شبکه‌های پتری برای تشریح مفاهیم نظری شبکه پتری بسیار مفید است .گراف شبکه پتری روشی برای ارائه ساختار شبکه‌های پتری است که در آن دو نوع گره وجود دارد . گره‌هایی به صورت دایره (O) و خط (׀) وجود دارد که دایره‌ها نشانگر مکان‌ها و خطوط نشانگر گذر‌ها هستند . این مکانها و گذر‌ها توسط کمانهایی به همدیگر متصل می‌شوند .وقتی یک کمان از یک گذر به یک مکان متصل شود نشانگر آن است که آن مکان به عنوان خروجی گذر مذکور خواهد بود و اگر کمانی از یک مکان به یک گذر رسم شود نشانگر آن است که آن مکان ورودی گذر مذکور خواهد بود. یک نمونه از این ساختار در شکل زیر نشان داده شده‌است.
lexicalizationfas: شبکه پتری
French
has glossfra: Un réseau de Petri (en français on prononce [] ) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels,…) travaillant sur des variables discrètes.
lexicalizationfra: Reseau de Petri
lexicalizationfra: réseau de Petri
Hungarian
has glosshun: A Petri-háló diszkrét elosztott rendszerek matematikai ábrázolása. A Petri-hálókat az 1960-as években Carl Adam Petri határozta meg először. Mivel ez az ábrázolás az egy időben lezajló események megjelenítésére alkalmas, az automataelmélet általánosításának tekinthető.
lexicalizationhun: Petri háló
lexicalizationhun: Petri-háló
Indonesian
has glossind: 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.
lexicalizationind: Petri net
Italian
has glossita: 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. Ovvero, una rete di Petri ha dei nodi posti, dei nodi transizioni e degli archi diretti che connettono posti e transizioni.
lexicalizationita: rete di Petri
Japanese
has glossjpn: ペトリネット(Petri Net)とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。
lexicalizationjpn: ペトリネット
Dutch
has glossnld: Petrinetten of P/T-netten zijn een wiskundig formalisme dat 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.
lexicalizationnld: Petri Net
lexicalizationnld: Petrinet
Polish
has glosspol: Sieć Petriego – matematyczna reprezentacja 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ń uogólniają one teorię automatów.
lexicalizationpol: Sieć Petriego
Portuguese
has glosspor: 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 três (23) anos depois, ele documentou o trabalho como parte de sua tese de doutorado.
lexicalizationpor: rede de Petri
Moldavian
has glossron: Reţelele Petri sunt o reprezentare matematică a sistemelor discrete distribuite. Definite de către Carl Adam Petri în anii 1960 în teza sa de doctorat, reţelele Petri au abilitatea de a generaliza teoria automatelor, prin expresivitatea lor ridicată în domeniul evenimentelor concurente.
lexicalizationron: Retea petri
lexicalizationron: reţea Petri
lexicalizationron: Rețea Petri
Russian
has glossrus: Сети Петри — математический аппарат для моделирования динамических дискретных систем. Впервые описаны Карлом Петри в 1962 году.
lexicalizationrus: сети Петри
Slovak
has glossslk: Petriho sieť je matematická reprezentácia diskrétnych distribuovaných systémov. Petriho sieť graficky reprezentuje štruktúru distribuovaného systému ako orientovaný biparitný graf s ohodnotením.
lexicalizationslk: Petriho sieť
Castilian
has glossspa: Una Red de Petri es una representación matemática de un sistema distribuido discreto. Las redes de Petri fueron definidas en los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que permite expresar eventos concurrentes.
lexicalizationspa: red de Petri
Ukrainian
has glossukr: Мережа Петрі — математична абстракція для представлення дискретних розподілених систем. Графічно представляється у вигляді дводольного орієнтованого мультиграфу з маркерами («фішками») (маркований орієнтований граф), який має дві групи вершин: позиції та переходи. Позиції можуть бути пустими або маркованими та визначають <стан> мережі. Переходи визначають дії. Орієнтовані ребра графу задають звязки між позиціями та переходами. Процес функціонування мережі Петрі полягає в послідовному «виконанні» переходів, та відповідному перерахункові кількості «фішок» у позиціях. Дуги можуть бути кратними, коли два вузли зєднані більше ніж однією дугою однакового напрямку. Альтернативно, для відображення кратності дуг може використовуватися функція «ваги» дуг.
lexicalizationukr: Мережа Петрі
Chinese
has glosszho: Petri网是对离散并行系统的数学表示。Petri网是1960年代由卡尔·A·佩特里发明的,适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式,也有直观的图形表达方式。
lexicalizationzho: Petri网
Media
media:img4-philosophers.gif
media:imgAnimated Petri net commons.gif
media:imgDetailed petri net.png
media:imgEinfaches petrinetz.png
media:imgLiveness-levels.gif
media:imgPetri net types.svg
media:imgPetri1.JPG
media:imgPetriNet.JPG
media:imgPetrinetz.svg
media:imgPlace transformation petri net.png
media:imgReachability graph for petri net.png

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2024 Gerard de Melo.   Contact   Legal Information / Imprint