| http://dbpedia.org/ontology/abstract
|
Als Petri-Netze werden Modelle diskreter, … 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.ben Prinzipien der Petri-Netze übernommen.
, A Petri net, also known as a place/transit … 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. mathematical theory for process analysis.
, Uma rede de Petri ou rede de transição é u … 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.ento concorrente em sistemas distribuídos.
, 佩特里網（英語：Petri net），又譯為裴氏網、派翠網路，是对离散并行系统的数学表示。佩特里網屬於離散事件動態系統，是1960年代由卡尔·亚当·佩特里发明的，适合于描述异步的、并发的计算机系统模型。佩特里網既有严格的数学表述方式，也有直观的图形表达方式。 由于佩特里網能表达并发的事件，被认为是的一种。研究领域趋向认为佩特里網是所有流程定义语言之母。
, Sieć Petriego – język modelowania dyskretn … 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.iami miejsc, łukami wzbraniającymi i inne.
, Мережі Петрі (МП) — математичний апарат дл … Мережі Петрі (МП) — математичний апарат для моделювання динамічних дискретних систем. Вперше описані Карлом Петрі у 1962 році. МП використовуються для моделювання асинхронних систем, що функціонують як сукупність паралельних взаємодіючих процесів. Аналіз МП дозволяє отримати інформацію про структуру та динамічну поведінку модельованої системи. Причинно-наслідковий зв'язок подій в асинхронних системах задається множиною відношень вигляду «умови-події». У МП умови — це позиції, а події — переходи. Відповідно до цього граф МП є двочастковим орієнтованим мультиграфом. Орієнтовані дуги можуть сполучати лише позиції і переходи в прямому і зворотному напрямі. МП є мультиграфом, оскільки допускається кратність дуг між позиціями і переходами. B графах МП кількісні характеристики умов (числа натурального ряду) прийнято задавати числом міток у відповідних позиціях. Послідовності подій відображуються спрацьовуваннями переходів. Виконання якої-небудь умови пов'язане з появою однієї або декількох міток у відповідній цій умові позиції. Угоди про правила спрацьовування переходів є способом представлення причинно-наслідкових зв'язків між умовами і подіями в системі (рис.1).в між умовами і подіями в системі (рис.1).
, Un réseau de Petri (aussi connu comme un r … 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. et de processus stochastiques markoviens.
, Petriho síť je matematická reprezentace di … 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 pohybutační práci. Příklad Petriho sítě v pohybu
, ペトリネット（英: Petri net）とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。
, Сеть Петри — математический объект, исполь … Сеть Петри — математический объект, используемый для моделирования динамических дискретных систем, предложенный Карлом Петри в 1962 году. Определяется как двудольный ориентированный мультиграф, состоящий из вершин двух типов — позиций и переходов, соединённых между собой дугами. Вершины одного типа не могут быть соединены непосредственно. В позициях могут размещаться метки (маркеры), способные перемещаться по сети. Событием называют срабатывание перехода, при котором метки из входных позиций этого перехода перемещаются в выходные позиции. События происходят мгновенно либо разновременно, при выполнении некоторых условий. Сеть Петри есть мультиграф, так как он допускает существование кратных дуг от одной вершины графа к другой. Так как дуги являются направленными, то это ориентированный мультиграф. Вершины графа можно разделить на два множества (позиции и переходы) таким образом, что каждая дуга будет направлена от элемента одного множества (позиций или переходов) к элементу другого множества (переходов или позиций); следовательно, такой граф является двудольным ориентированным мультиграфом. Изначально разрабатывались для моделирования систем с параллельными взаимодействующими компонентами; основные положения теории связи асинхронных компонент вычислительной системы Петри сформулировал в докторской диссертации «Связь автоматов». докторской диссертации «Связь автоматов».
, Una Red de Petri es una representación mat … 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.idible, al menos en un tiempo exponencial.
, Petrinät är ett formellt och grafiskt språ … 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.ver avfyra bara för att den är aktiverbar.
, Petri net adalah salah satu model untuk me … 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
*
* sajukkan oleh pada tahun 1962.
* l
*
* s
, شبكات بيتري هي نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطعة أي تحصل في نفس الوقت (parallel). ابتكرت شبكات بيتري عن طريق كارل آدم بيتري في الستينات وتعتبر تعميمًا لنظرية الآلات Automata theory.
, Una Xarxa de Petri, també coneguda com una … 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.a matemàtica per a l'anàlisi de processos.
, Petrinetten of P/T-netten zijn een wiskund … 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.en, dan wordt het petrinet veilig genoemd.
, Una rete di Petri (conosciuta anche come r … 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. di dottorato dell'autore Carl Adam Petri.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Animated_Petri_net_commons.gif?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.morebooks.de/store/gb/book/clans-of-petri-nets/isbn/978-3-659-42228-7 +
, https://archive.org/details/springer_10.1007-978-3-642-60794-3 +
|
| http://dbpedia.org/ontology/wikiPageID
|
225192
|
| http://dbpedia.org/ontology/wikiPageLength
|
54740
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1119636709
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Bounded_set +
, http://dbpedia.org/resource/Workflow_management_system +
, http://dbpedia.org/resource/Diagram +
, http://dbpedia.org/resource/Category:Diagrams +
, http://dbpedia.org/resource/Nets_within_Nets +
, http://dbpedia.org/resource/Finite_state_automaton +
, http://dbpedia.org/resource/Prioritised_Petri_net +
, http://dbpedia.org/resource/Coloured_Petri_net +
, http://dbpedia.org/resource/Reflexive_transitive_closure +
, http://dbpedia.org/resource/Bipartite_graph +
, http://dbpedia.org/resource/Process_algebra +
, http://dbpedia.org/resource/Directed_edge +
, http://dbpedia.org/resource/Workflow +
, http://dbpedia.org/resource/Path_%28graph_theory%29 +
, http://dbpedia.org/resource/Decision_problem +
, http://dbpedia.org/resource/Graph_theory +
, http://dbpedia.org/resource/Finite_set +
, http://dbpedia.org/resource/Category:Modeling_languages +
, http://dbpedia.org/resource/Tuple +
, http://dbpedia.org/resource/Machine_learning +
, http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/Turing_complete +
, http://dbpedia.org/resource/Game_theory +
, http://dbpedia.org/resource/ELEMENTARY +
, http://dbpedia.org/resource/Petriscript +
, http://dbpedia.org/resource/Category:Formal_specification_languages +
, http://dbpedia.org/resource/Countable_set +
, http://dbpedia.org/resource/Markov_chain +
, http://dbpedia.org/resource/Functional_programming_language +
, http://dbpedia.org/resource/Software_design +
, http://dbpedia.org/resource/Control_engineering +
, http://dbpedia.org/resource/Simulation +
, http://dbpedia.org/resource/CPN_Tools +
, http://dbpedia.org/resource/Marked_graph +
, http://dbpedia.org/resource/Vector_addition_system +
, http://dbpedia.org/resource/Trace_theory +
, http://dbpedia.org/resource/Vector_%28mathematics%29 +
, http://dbpedia.org/resource/Well-formed_Petri_net +
, http://dbpedia.org/resource/State_space +
, http://dbpedia.org/resource/Process_architecture +
, http://dbpedia.org/resource/Reachability_problem +
, http://dbpedia.org/resource/Business_Process_Modeling +
, http://dbpedia.org/resource/Computational_Biology +
, http://dbpedia.org/resource/EXPSPACE +
, http://dbpedia.org/resource/Actor_model +
, http://dbpedia.org/resource/State_machine +
, http://dbpedia.org/resource/Process_modeling +
, http://dbpedia.org/resource/Richard_Karp +
, http://dbpedia.org/resource/Event-driven_process_chain +
, http://dbpedia.org/resource/Design_structure_matrix +
, http://dbpedia.org/resource/Method_of_analytic_tableaux +
, http://dbpedia.org/resource/Multigraph +
, http://dbpedia.org/resource/File:Detailed_petri_net.png +
, http://dbpedia.org/resource/Category:Models_of_computation +
, http://dbpedia.org/resource/Signal_transition_graphs +
, http://dbpedia.org/resource/Iteration +
, http://dbpedia.org/resource/Unified_Modeling_Language +
, http://dbpedia.org/resource/File:Two-boundedness-ub.png +
, http://dbpedia.org/resource/Nondeterministic_time +
, http://dbpedia.org/resource/File:Two-boundedness-cb.png +
, http://dbpedia.org/resource/File:Petri_net_types.svg +
, http://dbpedia.org/resource/Workflow_net +
, http://dbpedia.org/resource/File:Petri_Net_A.jpg +
, http://dbpedia.org/resource/File:Petri_Net_B.jpg +
, http://dbpedia.org/resource/Communicating_finite-state_machines +
, http://dbpedia.org/resource/High-level_Petri_net +
, http://dbpedia.org/resource/Coloured_Petri_nets +
, http://dbpedia.org/resource/Category:Petri_nets +
, http://dbpedia.org/resource/Dualistic_Petri_Nets +
, http://dbpedia.org/resource/Timed_Petri_nets +
, http://dbpedia.org/resource/State_transition_system +
, http://dbpedia.org/resource/Semi-decision_procedure +
, http://dbpedia.org/resource/File:Reachability_graph_for_petri_net.png +
, http://dbpedia.org/resource/Concurrent_computing +
, http://dbpedia.org/resource/Compositionality +
, http://dbpedia.org/resource/File:Animated_Petri_net_commons.gif +
, http://dbpedia.org/resource/Diagnosis_%28Artificial_intelligence%29 +
, http://dbpedia.org/resource/File:Liveness-levels.gif +
, http://dbpedia.org/resource/Vector_addition_systems +
, http://dbpedia.org/resource/Kahn_process_networks +
, http://dbpedia.org/resource/Exponential_distribution +
, http://dbpedia.org/resource/Stochastic_Petri_net +
, http://dbpedia.org/resource/Control_theory +
, http://dbpedia.org/resource/Disjoint_sets +
, http://dbpedia.org/resource/Mathematical +
, http://dbpedia.org/resource/Carl_Adam_Petri +
, http://dbpedia.org/resource/Linear_temporal_logic +
, http://dbpedia.org/resource/If_and_only_if +
, http://dbpedia.org/resource/Expressive_power_%28computer_science%29 +
, http://dbpedia.org/resource/Concurrency_%28computer_science%29 +
, http://dbpedia.org/resource/Nondeterministic_algorithm +
, http://dbpedia.org/resource/Modularity_%28programming%29 +
, http://dbpedia.org/resource/Sequential_function_chart +
, http://dbpedia.org/resource/Concurrent_programming +
, http://dbpedia.org/resource/Modeling_language +
, http://dbpedia.org/resource/Data_analysis +
, http://dbpedia.org/resource/Business_Process_Model_and_Notation +
, http://dbpedia.org/resource/Multiset +
, http://dbpedia.org/resource/Covering_problem +
, http://dbpedia.org/resource/Category:Software_modeling_language +
, http://dbpedia.org/resource/Boolean_differential_calculus +
, http://dbpedia.org/resource/Activity_diagram +
, http://dbpedia.org/resource/Discrete_event_dynamic_system +
, http://dbpedia.org/resource/Distributed_systems +
, http://dbpedia.org/resource/Matrix_%28mathematics%29 +
, http://dbpedia.org/resource/Reliability_engineering +
, http://dbpedia.org/resource/Petri_Net_Markup_Language +
, http://dbpedia.org/resource/Finite-state_machine +
, http://dbpedia.org/resource/Indeterminacy_in_concurrent_computation +
, http://dbpedia.org/resource/Category:Concurrency_%28computer_science%29 +
|
| http://dbpedia.org/property/cs1Dates
|
y
|
| http://dbpedia.org/property/date
|
May 2019
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Expand_section +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Harv +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Cite_thesis +
, http://dbpedia.org/resource/Template:Mvar +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Commons_category +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Concurrency_%28computer_science%29 +
, http://dbpedia.org/resource/Category:Software_modeling_language +
, http://dbpedia.org/resource/Category:Models_of_computation +
, http://dbpedia.org/resource/Category:Diagrams +
, http://dbpedia.org/resource/Category:Formal_specification_languages +
, http://dbpedia.org/resource/Category:Modeling_languages +
, http://dbpedia.org/resource/Category:Petri_nets +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Languages +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Petri_net?oldid=1119636709&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
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 +
, http://commons.wikimedia.org/wiki/Special:FilePath/Liveness-levels.gif +
, http://commons.wikimedia.org/wiki/Special:FilePath/Detailed_petri_net.png +
, http://commons.wikimedia.org/wiki/Special:FilePath/Animated_Petri_net_commons.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://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Petri_net +
|
| owl:sameAs |
http://zh.dbpedia.org/resource/%E4%BD%A9%E7%89%B9%E9%87%8C%E7%B6%B2 +
, http://cs.dbpedia.org/resource/Petriho_s%C3%AD%C5%A5 +
, http://ja.dbpedia.org/resource/%E3%83%9A%E3%83%88%E3%83%AA%E3%83%8D%E3%83%83%E3%83%88 +
, http://fr.dbpedia.org/resource/R%C3%A9seau_de_Petri +
, http://nl.dbpedia.org/resource/Petrinet +
, http://de.dbpedia.org/resource/Petri-Netz +
, http://ro.dbpedia.org/resource/Re%C8%9Bea_Petri +
, http://rdf.freebase.com/ns/m.01gt82 +
, http://ca.dbpedia.org/resource/Xarxa_de_Petri +
, http://uk.dbpedia.org/resource/%D0%9C%D0%B5%D1%80%D0%B5%D0%B6%D1%96_%D0%9F%D0%B5%D1%82%D1%80%D1%96 +
, http://he.dbpedia.org/resource/%D7%A8%D7%A9%D7%AA_%D7%A4%D7%98%D7%A8%D7%99 +
, http://www.wikidata.org/entity/Q724168 +
, http://ru.dbpedia.org/resource/%D0%A1%D0%B5%D1%82%D1%8C_%D0%9F%D0%B5%D1%82%D1%80%D0%B8 +
, http://hu.dbpedia.org/resource/Petri-h%C3%A1l%C3%B3 +
, http://pl.dbpedia.org/resource/Sie%C4%87_Petriego +
, http://ar.dbpedia.org/resource/%D8%B4%D8%A8%D9%83%D8%A9_%D8%A8%D9%8A%D8%AA%D8%B1%D9%8A +
, http://sk.dbpedia.org/resource/Petriho_sie%C5%A5 +
, http://id.dbpedia.org/resource/Petri_net +
, http://dbpedia.org/resource/Petri_net +
, http://d-nb.info/gnd/4045388-1 +
, http://fa.dbpedia.org/resource/%D8%B4%D8%A8%DA%A9%D9%87_%D9%BE%D8%AA%D8%B1%DB%8C +
, http://yago-knowledge.org/resource/Petri_net +
, http://pt.dbpedia.org/resource/Rede_de_Petri +
, http://bs.dbpedia.org/resource/Petrijeva_mre%C5%BEa +
, http://bg.dbpedia.org/resource/%D0%9C%D1%80%D0%B5%D0%B6%D0%B0_%D0%BD%D0%B0_%D0%9F%D0%B5%D1%82%D1%80%D0%B8 +
, http://es.dbpedia.org/resource/Red_de_Petri +
, http://hr.dbpedia.org/resource/Petrijeve_mre%C5%BEe +
, http://lt.dbpedia.org/resource/Petri_tinklai +
, http://tr.dbpedia.org/resource/Petri_a%C4%9F%C4%B1 +
, http://sv.dbpedia.org/resource/Petrin%C3%A4t +
, https://global.dbpedia.org/id/4tty9 +
, http://it.dbpedia.org/resource/Rete_di_Petri +
|
| rdf:type |
http://dbpedia.org/class/yago/WikicatFormalSpecificationLanguages +
, http://dbpedia.org/class/yago/WikicatFormalMethods +
, http://dbpedia.org/class/yago/Network108434259 +
, http://dbpedia.org/class/yago/Cognition100023271 +
, http://dbpedia.org/class/yago/WikicatSpecificationLanguages +
, http://dbpedia.org/class/yago/System108435388 +
, http://dbpedia.org/class/yago/WikicatNetworks +
, http://dbpedia.org/class/yago/Know-how105616786 +
, http://dbpedia.org/class/yago/Method105660268 +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/ontology/Language +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/PsychologicalFeature100023100 +
, http://dbpedia.org/class/yago/Group100031264 +
, http://dbpedia.org/class/yago/Ability105616246 +
|
| rdfs:comment |
Una Xarxa de Petri, també coneguda com una … 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.nt teòric dels conceptes bàsics de les PN.
, Petri net adalah salah satu model untuk me … 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
*
* sajukkan oleh pada tahun 1962.
* l
*
* s
, Petrinät är ett formellt och grafiskt språ … 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).latsen för utmatningsplats (output place).
, شبكات بيتري هي نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطعة أي تحصل في نفس الوقت (parallel). ابتكرت شبكات بيتري عن طريق كارل آدم بيتري في الستينات وتعتبر تعميمًا لنظرية الآلات Automata theory.
, Una Red de Petri es una representación mat … 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.xpresar un sistema a eventos concurrentes.
, Uma rede de Petri ou rede de transição é u … 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.balho como parte de sua tese de doutorado.
, ペトリネット（英: Petri net）とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。
, 佩特里網（英語：Petri net），又譯為裴氏網、派翠網路，是对离散并行系统的数学表示。佩特里網屬於離散事件動態系統，是1960年代由卡尔·亚当·佩特里发明的，适合于描述异步的、并发的计算机系统模型。佩特里網既有严格的数学表述方式，也有直观的图形表达方式。 由于佩特里網能表达并发的事件，被认为是的一种。研究领域趋向认为佩特里網是所有流程定义语言之母。
, Una rete di Petri (conosciuta anche come r … 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. di dottorato dell'autore Carl Adam Petri.
, Сеть Петри — математический объект, исполь … Сеть Петри — математический объект, используемый для моделирования динамических дискретных систем, предложенный Карлом Петри в 1962 году. Определяется как двудольный ориентированный мультиграф, состоящий из вершин двух типов — позиций и переходов, соединённых между собой дугами. Вершины одного типа не могут быть соединены непосредственно. В позициях могут размещаться метки (маркеры), способные перемещаться по сети. Событием называют срабатывание перехода, при котором метки из входных позиций этого перехода перемещаются в выходные позиции. События происходят мгновенно либо разновременно, при выполнении некоторых условий.ременно, при выполнении некоторых условий.
, Petriho síť je matematická reprezentace di … 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 pohybutační práci. Příklad Petriho sítě v pohybu
, 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.
, A Petri net, also known as a place/transit … 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. purpose of describing chemical processes.
, Petrinetten of P/T-netten zijn een wiskund … 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.eke vormen van petrinetten worden opgevat.
, Мережі Петрі (МП) — математичний апарат дл … Мережі Петрі (МП) — математичний апарат для моделювання динамічних дискретних систем. Вперше описані Карлом Петрі у 1962 році. МП використовуються для моделювання асинхронних систем, що функціонують як сукупність паралельних взаємодіючих процесів. Аналіз МП дозволяє отримати інформацію про структуру та динамічну поведінку модельованої системи. B графах МП кількісні характеристики умов (числа натурального ряду) прийнято задавати числом міток у відповідних позиціях.авати числом міток у відповідних позиціях.
, Als Petri-Netze werden Modelle diskreter, … 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.ien der Nebenläufigkeit verdichtet wurden.
, Un réseau de Petri (aussi connu comme un r … 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.écommunications, les réseaux de transport.
|
| rdfs:label |
Мережі Петрі
, Réseau de Petri
, ペトリネット
, Сеть Петри
, Petriho síť
, Petrinät
, Xarxa de Petri
, Petri net
, 佩特里網
, شبكة بيتري
, Petri-Netz
, Rete di Petri
, Sieć Petriego
, Rede de Petri
, Red de Petri
, Petrinet
|
