Abstract
Discrete-event systems have gained a lot of interest due to their wide range of applications. SDES is a unified description for stochastic discrete-event systems. The aim is to use this description as a basis of a new multi-formalism modeling framework. In this paper, we introduce PDETool, which is based on SDES description. This modeling tool provides features for construction and translation of models into the XML-based input language of an SDES-based simulation engine that is developed for this purpose. Currently, we have implemented some useful extensions of Petri nets, such as stochastic Petri nets (SPNs), stochastic reward nets (SRNs) and stochastic activity networks (SANs) in this framework. PDETool is easily extensible to support a wide range of graphical and non-graphical formalisms. Furthermore, it facilitates the construction, animation and simulation of models. This tool has some advantages over the existing multi-formalism modeling and simulation tools, which will be mentioned in this paper.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abdollahi Azgomi, M., Movaghar, A.: An Interchange Format for Stochastic Activity Networks Based on PNML Definition. In: Proc. of the ICATPN’04 Satellite Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets (XML4PN 2004), Italy, pp. 1–10 (2004)
Ciardo, G., Miner, A.S.: SMART: Simulation and Markovian analyzer for reliability and timing. In: Proc. of the 2nd Int’l Computer Performance and Dependability Symposium (IPDS 1996), p. 60 (1996)
Ciardo, G., Mupalla, J., Trivedi, K.S.: Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets. Journal of Parallel and Distributed Systems 15, 252–269 (1992)
Deavours, D.D.: Formal Specification of the Möbius Modeling Framework. Ph.D. Dissertation, University of Illinois (2001)
Molloy, M.K.: Performance Analysis Using Stochastic Petri Nets. IEEE Trans. on Comp. C-31, 913–917 (1982)
PDETool Framework Homepage, http://pdel.iust.ac.ir/Projects/PDETool.html
Sahner, R.A.: Combinatorial-Markov methods of solving performance and reliability models. Ph.D. dissertation, Duke University, Durham, North Carolina (1986)
Sanders, W.H., Meyer, J.F.: Stochastic Activity Networks: Formal Definitions and Concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, pp. 315–343. Springer, Heidelberg (2001)
Sanders, W.H., Meyer, J.F.: A Unified Approach for Specifying Measures of Performance, Dependability and Performability. In: Dependable Computing for Critical Applications, Dependable Computing and Fault-Tolerant Systems, vol. 4, pp. 215–237. Springer, Heidelberg (1991)
Sanders, W.H.: Integrated Frameworks for Multi-Level and Multi-Formalism Modeling. In: Proc. of the 8th Int’l. Workshop on Petri Nets and Performance Models (PNPM 1999), Zaragoza, Spain (1999)
SimGine Homepage, http://pdel.iust.ac.ir/Projects/SimGine.html
Vittorini, V., et al.: The OsMoSys approach to multi-formalism modeling of systems. Software and Systems Modeling 3(1), 68–81 (2004)
Zimmermann, A.: Stochastic Discrete-Event Systems: Modeling, Evaluation and Applications. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khalili, A., Jalaly Bidgoly, A., Abdollahi Azgomi, M. (2009). PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. In: Franceschinis, G., Wolf, K. (eds) Applications and Theory of Petri Nets. PETRI NETS 2009. Lecture Notes in Computer Science, vol 5606. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02424-5_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-02424-5_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02423-8
Online ISBN: 978-3-642-02424-5
eBook Packages: Computer ScienceComputer Science (R0)