В старых версиях браузеров сайт может отображаться некорректно. Для оптимальной работы с сайтом рекомендуем воспользоваться современным браузером.
Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.
Вышка и Центр перспективных управленческих решений (ЦПУР) заключили соглашение о сотрудничестве в рамках проекта «Инфраструктура научно-исследовательских данных» (ИНИД). Эксперты университета и ЦПУР планируют обмен информацией, опытом и научными материалами, а также ведение совместных исследований на основе анализа массивов государственных и других открытых данных.
Две трети жителей нашей страны понимают патриотизм как любовь к Родине. И в восемь раз меньше россиян считают патриотизмом трату своих денег и времени на пользу обществу.
Исследователи из ВШЭ впервые в мире выявили наследственную предрасположенность к тяжелому течению COVID-19. Результаты исследования опубликованы в журнале Frontiers in Immunology.
Dworzanski L. W., Lomazova I. A. In bk.: Program Semantics, Specification and Verification: Theory and Applications. The conference materials. 6th International Computer Science Symposium in Russia. Yaroslavl: Yaroslavl State University, 2011. P. 27-34.
Nested Petri nets (NP-nets) are Petri nets with net tokens. The liveness and boundedness problems are undecidable for two-level Nested Petri nets (NP-nets). Boundedness and liveness are still very hard to check even for plain Petri nets (EXPSPACE or worse). For the restricted class of free-choice Petri nets some problems become more amenable to analysis. There is the polynomial time algorithm to check if a free-choice Petri net is live and bounded. We prove that for some restricted class of NP-nets with free-choice components boundedness can be checked in a compositional way and define restrictions, under which liveness is also compositional. The motivating example of such restricted NP-nets is provided.
Под науч. редакцией: W. van der Aalst, E. Best. Vol. 10258: Lecture Notes in Computer Science. Switzerland: Springer, 2017.
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.
Lomazova I. A., Popova-Zeugmann L. In bk.: Concurrency, Specification and Programming. CS&P 2014. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming. Chemnitz, Germany, September 29 - October 1, 2014.. Vol. 1269: CEUR Workshop Proceedings (CEUR-WS.org). Berlin: Humboldt University of Berlin, 2014. P. 126-137.
In this paper we examine how it is possible to control Petri net behavior with the help of time constraints. Controlling here means to force a process to behave in a desirable way by ascribing priorities to transitions and hence transforming a classic Petri net into a Priority Petri net. Liveness and boundedness are crucial properties in many application areas, e.g. workflow modeling and bioinformatics. The main correctness property for workflow models is soundness, which can be reduced to the liveness and boundedness of a modified net. In biological models, liveness and boundedness are important for system stability. The problem of transforming a given live, but unbounded Petri net into a live and bounded one by adding priority constraints is studied in this paper. We specify necessary conditions for the solvability of this problem and present a method for ascribing priorities to net transitions in such a way that the resulting net becomes bounded while staying live.