DSpace Repository

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

Show simple item record

dc.contributor.author CIORBĂ, D.
dc.date.accessioned 2019-02-06T13:14:10Z
dc.date.available 2019-02-06T13:14:10Z
dc.date.issued 2013
dc.identifier.citation CIORBĂ, D. Diagramele ESC în prisma semanticii reţelelor Yasper (Petri). In: Meridian Ingineresc. 2013, nr. 3, pp. 71-75. ISSN 1683-853X. en_US
dc.identifier.issn 1683-853X
dc.identifier.uri http://repository.utm.md/handle/5014/145
dc.description.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ă. en_US
dc.description.abstract 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. en
dc.description.abstract 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é. fr
dc.description.abstract Теория сетей Петри связана с вычислением систем, сосредоточив внимание на такие свойства, как параллелизм и конфликт. Операционная семантика сетей Петри позволяет анализировать модели ESC в динамике и может включать моделирование исполнения и анализ производительности. Принимая во внимание цели исследования, подходящим инструментом оказался Yasper. Таким образом, работа предлагает способ преобразования ESC диаграмм в сети Petri, которые являются специфическими и расширяются выбранным инструментом. ru
dc.language.iso ro en_US
dc.publisher Tehnica UTM en_US
dc.rights Attribution-NonCommercial-NoDerivs 3.0 United States *
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/us/ *
dc.subject Petri nets en_US
dc.subject ESC diagrams en_US
dc.subject reţele Petri en_US
dc.subject diagrame ESC en_US
dc.title Diagramele ESC în prisma semanticii reţelelor Yasper (Petri) en_US
dc.title.alternative ESC diagrams in terms of Yasper (Petri) nets semantic en_US
dc.title.alternative Diagrammes ESC en termes de sémantique des réseaux Yasper (Petri) en_US
dc.title.alternative Диаграммы ESC с точки зрения семантики сетей Yasper (Петри) en_US
dc.type Article en_US


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 United States Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States

Search DSpace


Advanced Search

Browse

My Account