Abstract
Petri nets provide a simple yet very intuitive graphical model for processes such as concurrency, parallelism and synchronization. Furthermore, they have a solid mathematical foundation and a number of analysis methods available. Due to these reasons, Petri nets are especially suited for the analysis of large and complex systems. In this paper we apply the Petri nets formalism to represent and analyze a power distribution system. To this aim, we report briefly a Mathematica package developed by the authors to deal with Petri nets. The package is subsequently applied to determine the possible scenarios of a failure of the system and some associated behaviors.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bourdeaud’huy, T., Hanafi, S., Yim, P.: Mathematical programming approach to the Petri nets reachability problem. European Journal of Operational Research 177, 176–197 (2007)
Gálvez, A., Iglesias, A., Corcuera, P.: Representation and Analysis of a Dynamical System with Petri Nets. In: Proc. International Conference on Convergence Information Technology-ICCIT 2007, Gyeongju, Korea, pp. 2009–2015. IEEE Computer Society Press, Los Alamitos (2007)
German, R.: Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, Inc., New York (2000)
Iglesias, A.: A New Framework for Intelligent Semantic Web Services Based on GAIVAs. International Journal of Information Technology and Web Engineering, IJITWE 3(4), 30–58 (2008)
Iglesias, A.: Software Verification and Validation of Graphical Web Services in Digital 3D Worlds. In: Communications in Computer and Information Science. CCIS, vol. 56, pp. 293–300 (2009)
Iglesias, A.: Pure Petri Nets for Software Verification and Validation of Semantic Web Services in Graphical Worlds. International Journal of Future Generation Communication and Networking 3(1), 33–46 (2010)
Iglesias, A., Kapcak, S.: Symbolic computation of Petri nets. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007. LNCS, vol. 4488, pp. 235–242. Springer, Heidelberg (2007)
Iglesias, A., Luengo, F.: New Goal Selection Scheme for Behavioral Animation of Intelligent Virtual Agents. IEICE Transactions on Information and Systems, Special Issue on CyberWorlds E88-D(5), 865–871 (2005)
Kosaraju, S.R.: Decidability of reachability in vector addition systems. In: Proc. 14th Annual ACM Symp. Theory Computing, pp. 267–281 (1982)
Lipton, R.: The reachability problem requires exponential space.Technical report, Computer Science Department, Yale University (1976)
Luengo, F., Iglesias, A.: Designing an Action Selection Engine for Behavioral Animation of Intelligent Virtual Agents. In: Gervasi, O., Gavrilova, M.L., Kumar, V., Laganá, A., Lee, H.P., Mun, Y., Taniar, D., Tan, C.J.K. (eds.) ICCSA 2005. LNCS, vol. 3482, pp. 1157–1166. Springer, Heidelberg (2005)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Iglesias, A., Gálvez, A. (2010). Computational Analysis of a Power Distribution System with Petri Nets. In: Kim, Th., Lee, Yh., Kang, BH., Ślęzak, D. (eds) Future Generation Information Technology. FGIT 2010. Lecture Notes in Computer Science, vol 6485. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17569-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-17569-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17568-8
Online ISBN: 978-3-642-17569-5
eBook Packages: Computer ScienceComputer Science (R0)