Modeling the Value Chain with Object-Valued Petri Nets

  • J. ZacekEmail author
  • Z. Melis
  • F. Hunka
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 307)


A substantial part of the economic theories is based on conversion and exchange process. These processes can be arranged in a value chain, which can be considered as a cyclic model with complex attributes. There is a serious problem how to express resources and their conversions in a complex cyclic model during the simulation and how to identify these converted resources in every step of the simulation. This paper introduces the Object- valued Petri (OV-PN) modification as a new formalism to create a cyclic model of the value chain. According to the modification we had to define a new path and pass of the OV-PN. We also had to determine new properties. Properties are based on the OV-PN and reflect needs of model requirements. A new formalism is verified on a common enterprise value chain.


Value chain Object-valued Petri nets Cycle Petri nets Simulation Model validation 



This work was supported by the European Regional Development Fund in the IT4Innovations Centre of Excellence project (CZ.1.05/1.1.00/02.0070) and the grant reference no. SGS08/PRF/2013 provided by Ministry of Education, Youth and Sports.


  1. 1.
    Bocewicz G., Wójcik R., Banaszak Z.: Cyclic Scheduling for Supply Chain Network, Trends in Practical Applications of Agents and Multiagent Systems, Springer Berlin Heidelberg, pp 39–47, 2012.Google Scholar
  2. 2.
    Bouziane, Z., Finkel, A.: Cyclic Petri Net Reachability Sets are Semi-linear Effectively Constructible, CONCUR’11 Proceedings of the 22nd international conference on Concurrency theory, Springer-Verlag, Berlin, ISBN: 978-3-642-23216-9.Google Scholar
  3. 3.
    Darondeau P., Demri S., Meyer R., Morvan Ch.: Petri Net Reachability Graphs: Decidability Status of First Order Properties, Logical Methods in Computer Science, Vol. 8(4:9), pp. 1–28, 2012.MathSciNetGoogle Scholar
  4. 4.
    Ding Z., Liu J., Wang J.: A Petri Net Based Automatic Executable Code Generation Method for Web Service Composition, Proceedings of the 2012 International Conference on Information Technology and Software Engineering, pp 39–48, ISBN 978-3-642-34530-2, 2013.Google Scholar
  5. 5.
    Fiala, J., Ministr, J.: Pruvodce analyzou a modelovanim procesu, VB-TU Ostrava, 2003, ISBN 20-248-0500-6.Google Scholar
  6. 6.
    Geerts, G. L., McCarthy, W. E.: Using Object Oriented Templates from the REA Accounting Model to Engineer Business Process and Tasks, Paper presented at European Accounting Congress, Gratz, Austria, 1997.Google Scholar
  7. 7.
    Hunka, F., Zacek, J., Melis, Z., Sevcik, J.: REA Value Chain versus Supply Chain, Scientific Papers of the University of Pardubice, 2011, s. 68–77, ISSN 1211-555X.Google Scholar
  8. 8.
    Kersten W., Blecker T., Ringle M. Ch.: Managing the Future of Supply Chain, Eul Verlag, ISBN 978-3-8441-0180-5, 2012.Google Scholar
  9. 9.
    Li J., Zhou M., Xianzhong D.: Reduction and Refinement by Algebraic Operations for Petri Net Transformation, Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on (Volume:42, Issue: 5), pp 1244–1255, ISSN 1083-4427, 2012.Google Scholar
  10. 10.
    Martinik, I.: Methodology of object-oriented programmatic system development using theory of Object Petri nets, dissertation thesis, VB-TU Ostrava, 1999.Google Scholar
  11. 11.
    Shilling, J.: Three Steps to Views: Extending the Object-Oriented Paradigm, OOPSLA 89 Proceedings, 1989.Google Scholar
  12. 12.
    Sklenar, J., Caruana, E.: Using Timed Petri Nets in Discrete Simulation, Proceedings of the Industrial Simulation Conference, 2004 (ISC-2004), Malaga, 2004, page 7–11.Google Scholar
  13. 13.
    Sochor T., Davidova A.: Potential of Multilevel SPAM Protection in the Light of Current SPAM Trends, 10th International Conference on Networking, Sensing and Control, Paris-Evry University, France, 2013.Google Scholar
  14. 14.
    van Hee M. K., Sidorova N., van der Werf M. J.: Business Process Modeling Using Petri Nets, Transactions on Petri Nets and Other Models of Concurrency VII, pp 116–161, ISBN 978-3-642-38142-3, 2013Google Scholar
  15. 15.
    Wang W. J., Ip H. W., Muddada R. R., Huang L. J., Zhang J. W.: On Petri net implementation of proactive resilient holistic supply chain networks, The International Journal of Advanced Manufacturing Technology, ISSN 0268-3768, Springer-Verlag, 2013.Google Scholar
  16. 16.
    Zacek J., Hunka F.: CEM: Class executing modeling, World Conference on Information Technology, 2010, page 1597–1601, ISSN 1877-0509.Google Scholar
  17. 17.
    Zacek, J., Hunka, F.: Object model synchronization based on Petri net, 17th International Conference on Soft Computing MENDEL 2011, Brno University of Technology, Faculty of Mechanical Engineering, 2011, s. 523–527, ISBN 978-80-214-4302-0.Google Scholar
  18. 18.
    Zhao, X., Wei, C., Lin, M., Feng, X., Lan, W: Petri Nets Hierarchical Modelling Framework of Active Products Community, Advances in Petri Net Theory and Applications, 2010, page 153–174, ISBN 978-953-307-108-4.Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Centre of Excellence IT4Innovations, Division of the University of OstravaInstitute for Research and Applications of Fuzzy ModelingOstravaCzech Republic
  2. 2.Faculty of Science, Department of Computer ScienceUniversity of OstravaOstravaCzech Republic

Personalised recommendations