Remarks on the Reachability Graphs of Petri Nets

The question is considered - which graphs are isomorphic to the reachability graphs of Petri nets. Reachability graphs, or sets of achievable states, represent sets of all possible different network states resulting from a given initial state s0 by a finite chain of permissible transitions. They hav...

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:Моделирование и анализ информационных систем
المؤلف الرئيسي: Yuriy Anatol’yevich Belov
التنسيق: مقال
اللغة:الإنجليزية
منشور في: Yaroslavl State University 2022-12-01
الموضوعات:
الوصول للمادة أونلاين:https://www.mais-journal.ru/jour/article/view/1752