A MODELING TOOL FOR A NEW DEFINITION OF STOCHASTIC ACTIVITY NETWORKS

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.

ABDOLLAHI AZGOMI M.; MOVAGHAR A.

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

Journal Paper

Paper Information

Journal: IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION B- ENGINEERING Year:2005 | Volume:29 | Issue:B1 Page(s): 79-92

Download Full-Text

View:

354

Download:

202

Cites:

Information Journal Paper

Title

A MODELING TOOL FOR A NEW DEFINITION OF STOCHASTIC ACTIVITY NETWORKS

Author(s)

ABDOLLAHI AZGOMI M. | MOVAGHAR A. | Issue Writer Certificate

Keywords

MODELING TOOL

PETRI NETS

STOCHASTIC ACTIVITY NETWORKS

VERIFICATION

ANALYSIS

SIMULATION

Abstract

Stochastic activity networks (SANs) are a powerful and flexible extension of PETRI NETS. Modeling and ANALYSIS with PETRI NETS and their extensions need a software tool to help to construct and analyze the models. The original definition of SANs has been used as a modeling formalism in several tools. In this paper, we introduce a MODELING TOOL called Sharif SAN, which is based on a new definition of SANs. This MODELING TOOL is useful for both the VERIFICATION and performance evaluation of systems. The functional aspects of a system are verified by model checking branching temporal logic formulas, whereas its performance aspects are evaluated using some analytic and simulative methods. The nondeterministic setting of SANs is used for VERIFICATION, while their stochastic setting is employed for performance evaluation. In this paper, after a brief introduction to a new definition of SANs, we introduce the Sharif SAN tool and its VERIFICATION and evaluation techniques. We will also present some examples of its application.

Multimedia

No record.

Cites

No record.

References

No record.

Cite

APA: Copy

ABDOLLAHI AZGOMI, M., & MOVAGHAR, A.. (2005). A MODELING TOOL FOR A NEW DEFINITION OF STOCHASTIC ACTIVITY NETWORKS. IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION B- ENGINEERING, 29(B1), 79-92. SID. https://sid.ir/paper/548831/en

Vancouver: Copy

ABDOLLAHI AZGOMI M., MOVAGHAR A.. A MODELING TOOL FOR A NEW DEFINITION OF STOCHASTIC ACTIVITY NETWORKS. IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION B- ENGINEERING[Internet]. 2005;29(B1):79-92. Available from: https://sid.ir/paper/548831/en

IEEE: Copy

M. ABDOLLAHI AZGOMI, and A. MOVAGHAR, “A MODELING TOOL FOR A NEW DEFINITION OF STOCHASTIC ACTIVITY NETWORKS,” IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION B- ENGINEERING, vol. 29, no. B1, pp. 79–92, 2005, [Online]. Available: https://sid.ir/paper/548831/en

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops