Experimental Study of an Algorithm for Controlling the Behavior of a Petri-Net by Setting Priorities for Actions

Student: Sakunova Anastasiya

Educational Programme: System and Software Engineering (Master)

Year of Graduation: 2021

The work is devoted to the experimental study of an algorithm of transformation unbounded and live Petri nets to bounded keeping its liveness. It is needed to make state space finite, so it could be easily computed during modeling. Transforming Petri nets to bounded is useful in various topics where systems with a lot of possible parameters are modeled. During the research it is needed to specify input classes that we are going to experiment with, find out which transformations we can do to produce new examples of the Petri nets for analysis the log the experiment results, and make conclusions about when the algorithm showed itself as useful to reach boundness keeping liveness of not appropriate or need too much time to do calculations. As a result, it is expected to get findings of the examples of algorithm applicability and examples of its calculation limits.

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses