کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4950721 | 1364302 | 2017 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Petri games: Synthesis of distributed systems with causal memory
ترجمه فارسی عنوان
بازی پتری: سنتز سیستم های توزیع شده با حافظه علی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
شبکه پتری، علیت، باز کردن کاهش استراتژی ها، نمودار بازی ها، سنتز،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We present a new multiplayer game model for the interaction and the flow of information in a distributed system. The players are tokens on a Petri net. As long as the players move in independent parts of the net, they do not know of each other; when they synchronize at a joint transition, each player gets informed of the causal history of the other player. We show that for Petri games with a single environment player and an arbitrary bounded number of system players, deciding the existence of a safety strategy for the system players is EXPTIME-complete.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 253, Part 2, April 2017, Pages 181-203
Journal: Information and Computation - Volume 253, Part 2, April 2017, Pages 181-203
نویسندگان
Bernd Finkbeiner, Ernst-Rüdiger Olderog,