| dbpedia-owl:abstract
|
- Als Petri-Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet, die alle einigen wenigen, einfachen Prinzipien genügen. Diese Prinzipien hat der Informatiker Carl Adam Petri in den 1960er Jahren entwickelt. Heutzutage werden Petri-Netze 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 Modellierungstechniken wie z.B. Aktivitätsdiagramme der UML 2 haben Prinzipien der Petri-Netze übernommen.
- 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 distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. events that may occur, signified by bars) and places (i.e. conditions, signified by circles). The directed arcs describe which places are pre- and/or postconditions for which transitions (signified by arrows). 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, BPMN and EPCs, 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.
- 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. Una red de Petri está formada por lugares, transiciones y arcos dirigidos, así como por fichas que ocupan posiciones. Los arcos conectan un lugar a una transición o una transición a un lugar. No puede haber arcos entre lugares ni entre transiciones. Los lugares contienen un número cualquiera de fichas. Las transiciones se disparan, es decir consumen fichas de una posición de inicio y producen fichas en una posición de llegada. Una transición está habilitada si tiene fichas en todas sus posiciones de entrada. En su forma más básica, las fichas 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 fichas 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 problema de alcance es decidible, al menos en un tiempo exponencial.
- 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. Le reti di Petri furono inventate nel 1962 da Carl Adam Petri durante la sua tesi di dottorato.
- ペトリネット（Petri Net）とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。
- 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. Ze zijn voor het eerst beschreven in het proefschrift van Carl Adam Petri. Toestandsdiagrammen en stroomdiagrammen (die geen parallelliteit ondersteunen) kunnen als beperkte vormen van Petrinetten worden opgevat. Een Petrinet bestaat uit plaatsen en transities verbonden met pijlen, en tokens in de plaatsen. Plaatsen worden meestal getekend als cirkels, transities als balkjes of vierkanten, tokens als de ogen van een dobbelsteen. Pijlen verbinden 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 waar een transitie inkomende pijlen uit heeft worden de invoerplaatsen van de transitie genoemd; de uitvoerplaatsen zijn de plaatsen waar 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 tenminste 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.
- 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. 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.
- 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. 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.
- Petri网是对离散并行系统的数学表示。Petri网是1960年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式，也有直观的图形表达方式。 由于Petri网能表达并发的事件，被认为是自动化理论的一种。研究领域趋向认为Petri网是所有流程定义语言之母。
- Сети Петри — математический аппарат для моделирования динамических дискретных систем. Впервые описаны Карлом Петри в 1962 году. Сеть Петри представляет собой двудольный ориентированный граф, состоящий из вершин двух типов — позиций и переходов, соединённых между собой дугами. Вершины одного типа не могут быть соединены непосредственно. В позициях могут размещаться метки (маркеры), способные перемещаться по сети. Событием называют срабатывание перехода, при котором метки из входных позиций этого перехода перемещаются в выходные позиции. События происходят мгновенно, либо разновременно, при выполнении некоторых условий.
- Fichier:Animated Petri net commons. gif Exemple d'un réseau de Petri Place-Transition, composé de : deux places, les cercles trois transitions, les traits noirs quatre arcs, les flèches deux jetons, les points noirs qui circulent de gauche à droite ]] Un réseau de Petri (en français on prononce ]) est un modèle mathématique servant à représenter divers systèmes travaillant sur des variables discrètes.
|
| rdfs:comment
|
- ペトリネット（Petri Net）とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。
- Petri网是对离散并行系统的数学表示。Petri网是1960年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式，也有直观的图形表达方式。 由于Petri网能表达并发的事件，被认为是自动化理论的一种。研究领域趋向认为Petri网是所有流程定义语言之母。
- Als Petri-Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet, die alle einigen wenigen, einfachen Prinzipien genügen. Diese Prinzipien hat der Informatiker Carl Adam Petri in den 1960er Jahren entwickelt. Heutzutage werden Petri-Netze 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.
- 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 distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. events that may occur, signified by bars) and places (i.e. conditions, signified by circles). The directed arcs describe which places are pre- and/or postconditions for which transitions (signified by arrows).
- 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. Una red de Petri está formada por lugares, transiciones y arcos dirigidos, así como por fichas que ocupan posiciones. Los arcos conectan un lugar a una transición o una transición a un lugar.
- 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.
- 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. Ze zijn voor het eerst beschreven in het proefschrift van Carl Adam Petri.
- 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. 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.
- 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.
- Сети Петри — математический аппарат для моделирования динамических дискретных систем. Впервые описаны Карлом Петри в 1962 году. Сеть Петри представляет собой двудольный ориентированный граф, состоящий из вершин двух типов — позиций и переходов, соединённых между собой дугами. Вершины одного типа не могут быть соединены непосредственно. В позициях могут размещаться метки (маркеры), способные перемещаться по сети.
- Fichier:Animated Petri net commons. gif Exemple d'un réseau de Petri Place-Transition, composé de : deux places, les cercles trois transitions, les traits noirs quatre arcs, les flèches deux jetons, les points noirs qui circulent de gauche à droite ]] Un réseau de Petri (en français on prononce ]) est un modèle mathématique servant à représenter divers systèmes travaillant sur des variables discrètes.
|
