Abstract
On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
Highlights
Рассматривается моделирование схем потоков работ при помощи сетей Петри
Пусть (N, i|r0) одномерная RWF-сеть с заданной начальной разметкой
Канд. физ.-мат. наук, доцент; Ломазова Ирина Александровна, Национальный исследовательский университет “Высшая школа экономики”, д-р физ.-мат. наук, профессор, Институт программных систем РАН, зав. международной научно-учебной лабораторией процессно-ориентированных информационных систем, гл. науч. сотр
Summary
В последние годы всё более активно развивается ещё одна важная область применения сетей Петри [19] моделирование потоков работ (workflow). Для моделирования процессов потоков работ используется специальный подкласс сетей Петри так называемые WF-сети [4, 1]. В [7, 8] был исследован специальный класс сетей с разделяемыми ресурсами (WFR-сетей), для которого также была установлена разрешимость бездефектности. В [15] было доказано, что для RCWF-сетей с одномерным ресурсом бездефектность разрешима за полиномиальное время. В работе [11] нами был представлен более общий класс сетей с произвольными трансформациями ресурсов, которые требуются, например, в случае открытых и/или адаптивных workflow-систем. Также представлен алгоритм вычисления наименьшего бездефектного ресурса для данной одномерной сети. Доказывается разрешимость бездефектности, приводятся алгоритмы проверки бездефектности для размеченных и неразмеченных сетей, а также алгоритм вычисления наименьшего бездефектного ресурса.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callSimilar Papers
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
