Retelele Petri colorate si utilitatea lor in modelarea, validarea si simularea sistemelor

Abstract

Prezenta lucrare doreşte să evidenţieze utilitatea folosirii Reţelelor Petri Colorate (RPC) în modelarea, validarea şi simularea sistemelor de procesare a informaţiei bazate pe comunicare, sincronizare, paralelism şi concurenţă, precum şi pentru sisteme din alte domenii de activitate. RPC fac parte din teoria reţelelor Petri, şi reprezintă un limbaj de modelare şi validare a sistemelor concurente şi a sistemelor distribuite, precum şi a altor sisteme, în care concurenţa joacă un rol major. Prin folosirea eficientă a CPN se pot modela, valida şi simula sistemele dintr-o mare varietate de domenii de aplicare, care apoi pot fi construite la scară reală, iar printr-o analiză de înalt grad, cheltuielile să poată fi reduse substanţial, mai ales în această perioadă de criză.

This paper aims to highlight the usefulness using Colored Petri Nets for modelling, simulation and validation of information processing systems based on communication, synchronization, parallelism and competition, as well as for systems from other domains of activities. Coloured Petri Nets are part of the theory Petri Nets and represent a modelling language and validation of the concurrent systems and the distributed systems and other systems, in which competition play a major role. Through efficient use of CPN we can make modelling, simulating and validate systems from a wide variety of applications, which can then be constructed in real scale and high level analysis, so that the costs can be reduced substantially, especially in this time of crisis.

L’oeuvre ci-dessous veut mettre en évidence l’utilité de l’usage des Réseaux Pétri Colorées dans le modelage, la validation et la simulation des systèmes de traitement de l’information basée sur la communication, synchronisation, parallélisme et compétition et aussi pour les systèmes d’autres domaines d’activité. Les Réseaux Pétri Colorées appartiennent à la théorie des Réseaux Pétri et représentent un langage de modelage et validation des systèmes concurrents et des systèmes distribués et d’autres systèmes où la concurrence joue un rôle majeur. Par l’utilisation efficace de CPN (RPC) on peut couler, valider et simuler les systèmes d’une grande variété de domaines d’application qui peuvent être construits dans l’avenir à une échelle réelle et par une analyse d’une très haute qualité les dépenses peuvent être réduites considérable, spécialement dans cette période de crise.

Настоящая работа призвана подчеркнуть полезность цветных сетей Петри (ЦСП) в области проектирования, проверки и моделирования систем обработки информации на основе связи, синхронизации, дублирования и конкуренции, а также систем в других отраслях. КНР являются частью теории сетей Петри и представляют язык моделирования и проверки конкурентных и распределенных систем, а также других с систем, в которых конкуренция играет важную роль. Эффективным использованием ЦСП можно моделировать, проверить и симулировать системы из большого разнообразия областей использования, которые затем могут быть построены в масштабе, а через анализ на высоком уровне, чтобы затраты могли быть значительно сокращены, особенно в этом кризисном периоде.