AUTOMATIC ANALYSIS OF COMPUTER GAME USING COLORED PETRI NET

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

PASHAZADEH S.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: TABRIZ JOURNAL OF ELECTRICAL ENGINEERING Year:2016 | Volume:46 | Issue:2 (76) Page(s): 37-48

Download Full-Text

Persian Verion

View:

1,029

Download:

Cites:

Information Journal Paper

Title

AUTOMATIC ANALYSIS OF COMPUTER GAME USING COLORED PETRI NET

Author(s)

PASHAZADEH S. | Issue Writer Certificate

Keywords

MODELINGQ2

BEHAVIORAL FEATUREQ2

COLORED PETRI NETQ2

STATE-SPACE ANALYSISQ2

COMPUTER GAMEQ2

Abstract

Existence of design faults is a source of failure in the system. Detection and removal of faults in design phase prohibits increase of cost and time of system development. Formal methods are used for proving behavioral properties of systems. Formal methods can be used in crux design of COMPUTER GAMEs to ensure absence of deadlock, guarantee of answer's existence and to determine complexity of crux. Hierarchical COLORED PETRI NET is a formal method that can be used to evaluate cruxes of COMPUTER GAMEs such as path planning puzzle games. Unblock me game is modeled as a case study and automatic analysis of its two cruxes are studied in this paper. MODELING of game is done hierarchically. New approaches for eliminating state space explosion problem and decreasing running time of model is presented in this paper. MODELING is done with aim of automatic state space analysis of the system and required functions for proving behavioral properties are implemented. This paper is presented a method for MODELING and proving behavioral properties of puzzle type COMPUTER GAMEs using hierarchical COLORED PETRI NET that and can be generalized to similar games.

Cites

No record.

References

No record.

Cite

APA: Copy

PASHAZADEH, S.. (2016). AUTOMATIC ANALYSIS OF COMPUTER GAME USING COLORED PETRI NET. TABRIZ JOURNAL OF ELECTRICAL ENGINEERING, 46(2 (76)), 37-48. SID. https://sid.ir/paper/256424/en

Vancouver: Copy

PASHAZADEH S.. AUTOMATIC ANALYSIS OF COMPUTER GAME USING COLORED PETRI NET. TABRIZ JOURNAL OF ELECTRICAL ENGINEERING[Internet]. 2016;46(2 (76)):37-48. Available from: https://sid.ir/paper/256424/en

IEEE: Copy

S. PASHAZADEH, “AUTOMATIC ANALYSIS OF COMPUTER GAME USING COLORED PETRI NET,” TABRIZ JOURNAL OF ELECTRICAL ENGINEERING, vol. 46, no. 2 (76), pp. 37–48, 2016, [Online]. Available: https://sid.ir/paper/256424/en

Related Journal Papers