Skip to main content

Computational Analysis of a Power Distribution System with Petri Nets

  • Conference paper
Future Generation Information Technology (FGIT 2010)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6485))

Included in the following conference series:

  • 2008 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Article  MathSciNet  MATH  Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. German, R.: Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, Inc., New York (2000)

    MATH  Google Scholar 

  4. 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)

    Article  Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. 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)

    Article  Google Scholar 

  9. Kosaraju, S.R.: Decidability of reachability in vector addition systems. In: Proc. 14th Annual ACM Symp. Theory Computing, pp. 267–281 (1982)

    Google Scholar 

  10. Lipton, R.: The reachability problem requires exponential space.Technical report, Computer Science Department, Yale University (1976)

    Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics