List of Articles Modeling Open Access Article Abstract Page Full-Text 1 - Accessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets Navid Rafizadeh Shotorbani Fard Hasan Hosseinzadeh Masoud Bekravi Open Access Article Abstract Page Full-Text 2 - Moving Objects Tracking Using Statistical Models Sara Sharifzadeh Open Access Article Abstract Page Full-Text 3 - Modeling and Evaluation of Stochastic Discrete-EventSystems with RayLang Formalism Ali Khalili Mohammad Abdollahi Azgomi Open Access Article Abstract Page Full-Text 4 - Chaotic Time Series Prediction Using Optimal Fuzzy Systems Based on Sequential Quadratic Programming-Case Study: Gold Price Rasoul Rajaei Ali Akbar Gharaveisi Seyed Mohammad Ali Mohammadi Open Access Article Abstract Page Full-Text 5 - Evaluating Adaptability of SET Protocols Using Colored Petri Nets Nesa Mohsenian Homayun Motameni Sajjad Jeddi Saravi Open Access Article Abstract Page Full-Text 6 - A Multi-Formalism Modeling Framework: Formal Definitions, ModelComposition and Solution Strategies