Formal modelling and performance evaluation of puzzle type computer game using colored petri net
- سال انتشار: 1397
- محل انتشار: چهارمین کنفرانس ملی محاسبات توزیعی و پردازش داده های بزرگ
- کد COI اختصاصی: DCBDP04_099
- زبان مقاله: انگلیسی
- تعداد مشاهده: 655
نویسندگان
Faculty of Electrical and Computer Engineering University of Tabriz Tabriz, Iran
Faculty of Electrical and Computer Engineering University of Tabriz Tabriz, Iran
چکیده
Detection and removal of existing faults in system during design process is one way of preventing failure and a solution for minimizing cost of production in different systems. Since it is not possible to study and analyze all systems directly, formal methods provide a chance for indirect examining of systems through modeling and a way to ensure the existence of answer and deadlock-freeness in different systems. Colored petri net is one of several formal methods that can be used as a powerful tool for modeling and performance evaluation of concurrent systems and computer games. In this paper, Sokoban game is modeled as a case study for n boxes using colored petri net. We introduce a method for modeling and analyzing automatic state space of computer puzzle games in order to compute their complexity and prove their behavioral properties through colored petri nets. According to this analysis, there is no real deadlock in this model which indicates that the proposed model is correct. This method can be applied for modeling similar games.کلیدواژه ها
colored petri net; modeling; formal methods; performance evaluation; computer game; state space analysis; software engineeringمقالات مرتبط جدید
- مرور سیستماتیک کاربرد هوش مصنوعی در موسیقی
- In-silico Analyses for Finding Potential Key Genes and Pathways Associated with Guillain-Barré Syndrome Using Computational Tools
- OCD Severity Based on EEG Signals
- Investigating the (non) -Impact of Customizing Knowledge Bases of Artificial Intelligence -Driven Robot on Language for Specific Purposes Learning
- The Need for Telehealth and Tele-Educationon in Optimizing Measles Surveillance and Reducing Healthcare Costs
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.