Diagramele ESC în prisma semanticii reţelelor Yasper (Petri)

Abstract

Teoria reţelelor Petri este preocupată de desfăşurarea calculului din sistem, focusându-se pe proprietăţi cum ar fi concurenţa şi conflictul. Semantica operaţională a reţelelor Petri permite analiza modelelor ESC într-o manieră dinamică, incluzând aici posibilitatea simulării execuţiei proceselor şi analizei caracteristicilor de performanţă. Un instrument potrivit, luând în calcul obiectivele cercetărilor, s-a dovedit a fi Yasper. Astfel în articol se expune o modalitate de transpunere a diagramelor ESC în reţele Petri specifice şi extinse de instrumentul ţintă.

The Petri nets theory is concerned with computation of the systems, focusing on properties such as concurrency and the conflict. The operational semantics of Petri nets permits to analyze ESC model in a dynamic way, which may include the process execution simulation and the performance analysis. Taking into account the research objectives, an appropriate tool was found to be Yasper. Thus, the paper proposes a way to translate ESC diagrams in Petri nets, which are specific and extended by the selected tool.

La théorie des réseaux de Petri est préoccupée par le cours du calcul du système, en se concentrant sur les propriétés telles que la concurrence et les conflits. La sémantique opérationnelle des réseaux de Petri permet l'analyse du modèle ESC d'une façon dynamique, ce qui peut inclure l'exécution de la simulation et l'analyse de la performance. Un instrument approprié, en tenant compte les objectives de la recherche, s'est avéré être Yasper. Ainsi, l'article propose un moyen de transposer diagrammes ESC dans les réseaux Petri, qui sont spécifique et étendue dans l'outil sélectionné.

Теория сетей Петри связана с вычислением систем, сосредоточив внимание на такие свойства, как параллелизм и конфликт. Операционная семантика сетей Петри позволяет анализировать модели ESC в динамике и может включать моделирование исполнения и анализ производительности. Принимая во внимание цели исследования, подходящим инструментом оказался Yasper. Таким образом, работа предлагает способ преобразования ESC диаграмм в сети Petri, которые являются специфическими и расширяются выбранным инструментом.