Wideoblog z recenzjami, omówieniami i streszczeniami książek na temat: Ekonomia, zdrowie, biznes, samorozwój, coaching.

Modele de petri

Extended WF-net est un réseau de Petri qui est composé d`un WF-net avec transition t supplémentaire (transition de rétroaction). L`emplacement de l`évier est relié comme lieu d`entrée de la transition t et le lieu source comme lieu de sortie. Le déclenchement de la transition provoque l`itération du processus (Remarque: le WF-net étendu n`est pas un WF-net). [20] les réseaux de Petri sont des systèmes de transition d`État qui étendent une classe de filets appelés filets élémentaires. [2] une chose qui rend les filets de Petri intéressants, c`est qu`ils fournissent un équilibre entre la puissance de modélisation et l`analyzability: beaucoup de choses que l`on aimerait savoir sur les systèmes simultanés peuvent être automatiquement déterminés pour les filets de Petri, bien que certaines de ces choses sont très coûteux à déterminer dans le cas général. Plusieurs sous-classes de filets de Petri ont été étudiées qui peuvent encore modéliser des classes intéressantes de systèmes simultanés, alors que ces problèmes deviennent plus faciles. Un graphe de Petri net (appelé Petri net par certains, mais voir ci-dessous) est un 3-tuple (S, T, W) {displaystyle (S, T, W)}, où A (marqué) Petri net est appelé k-délimité, sûr, ou délimité lorsque tous ses lieux sont. Un filet de Petri (graphe) est appelé (structurellement) délimité s`il est délimité pour chaque marquage initial possible. Si un filet de Petri équivaut à un filet élémentaire, alors Z peut être le jeu dénombrable {0,1} et les éléments de P qui correspondent à 1 sous M forment une configuration.

De même, si un réseau de Petri n`est pas un filet élémentaire, alors le multiset M peut être interprété comme représentant un ensemble de configurations non-Singleton. À cet égard, M étend le concept de configuration des filets élémentaires aux filets de Petri. Le problème d`accessibilité pour les filets de Petri est de décider, compte tenu d`un filet de Petri N et d`un marquage M, si M e R (N) {displaystyle Min R (N)}. Un filet de Petri se compose de lieux, de transitions et d`arcs. Les arcs s`exécutent d`un endroit à une transition ou inversement, jamais entre les lieux ou entre les transitions. Les endroits à partir desquels un arc se dirige vers une transition sont appelés les places d`entrée de la transition; les endroits où les arcs sont exécutés à partir d`une transition sont appelés les lieux de sortie de la transition. Un chemin dirigé dans le filet de Petri est défini comme la séquence de nœuds (lieux et transitions) lié par les arcs dirigés. Un chemin élémentaire inclut chaque nœud dans la séquence une seule fois. Les filets de workflow (WF-nets) sont une sous-classe de filets de Petri qui envisagent de modéliser le flux de travail des activités de processus. [20] les transitions WF-net sont affectées à des tâches ou des activités, et les places sont affectées aux conditions pré/post.

No votes yet.
Please wait...

Zapisz się do naszego newslettera

Wydarzenia czytelnicze i „ogólnoksiążkowe” w Polsce:

Najnowsze komentarze

    Kategorie

    • Brak kategorii