Skip to main content
SpringerLink
Log in

Eval-net: Elements of Evaluation Nets as Extension to Petri Nets

  • Conference paper
  • First Online:
Knowledge, Information and Creativity Support Systems: Recent Trends, Advances and Solutions

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 364))

  • 851 Accesses

Abstract

Evaluation nets and Petri nets are an easy, readable and functional methods for visualizing states and communication between computer systems using diagrams. They can be considered as similar methods, because they base on bilateral graph and there is token flow. However, they differ in elements, token flow rules, structure, and runtime process. Petri nets are much more popular than evaluation nets and there are many tools to model, visualize, verification and simulation such nets, unlike forgotten evaluation nets. Evaluation nets and related source program code represent the algorithm, evaluation nets control the code execution. In this article, an exstension to Petri nets called Eval-nets is presented. Eval-nets introduce the most useful elements of evaluation nets into Petri nets. This extension is capable of being used in existing tools for Petri nets. As a result a functional tool for creating, analysing, running, debugging, and simulating communication protocols may be build based on Petri nets.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. André, F., et al.: Distributed Computing Systems: Communication, Cooperation, Consistency. Elsevier Science Publishers, New York (1985)

    Google Scholar 

  2. Balbo, G.: Introduction to stochastic Petri nets. In: Brinksma, E., Hermanns, Holger, Katoen, Joost-Pieter (eds.) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science, vol. 2090, pp. 84–155. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  3. Cabasino, M., Giua, A., Pocci, M., Seatzu, C.: Discrete event diagnosis using labeled Petri nets: an application to manufacturing systems. Control Eng. Pract. 19(9), 989–1001 (2011)

    Article  Google Scholar 

  4. Christensen, S., Hansen, N.D.: Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. Applications and Theory of Petri Nets. LNCS, vol. 691, pp. 186–205. Springer, Berlin (1992)

    Google Scholar 

  5. Dingle, N.J., Knottenbelt, W.J., Suto, T.: PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets. SIGMETRICS Perform. Eval. Rev. 36(4), 34–39 (2009)

    Article  Google Scholar 

  6. Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G., (eds.) ICALP 1998. LNCS, vol. 1443, pp. 103–115. Springer, Heidelberg (1998)

    Google Scholar 

  7. Eckleder, A., Freytag, T.: WoPeD—A tool for teaching, analyzing and visualizing workflow nets. Petri Net Newsletter 75 (2008)

    Google Scholar 

  8. FIPA: FIPA Contract Net Interaction Protocol Specification. FIPA (2001)

    Google Scholar 

  9. He, X.: A formal definition of hierarchical predicate transition nets. In: Billington, J., Reisig, W. (eds.) Application and Theory of Petri Nets 1996. Lecture Notes in Computer Science, vol. 1091, pp. 212–229. Springer, Berlin (1996)

    Chapter  Google Scholar 

  10. Heitmann, F., Moldt, D.: Petri Nets Tools and Software (Accessed in 20130514). http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/

  11. Holloway, L., Krogh, B.: Controlled Petri nets: a tutorial survey. In: Cohen, G., Quadrat, J.P. (eds.) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol. 199, pp. 158–168. Springer, Berlin (1994)

    Google Scholar 

  12. Janoušek, V., Kočí, R.: PNtalk project: current research direction. In: Simulation Almanac 2005. pp. 50–62. Faculty of Electrical Engineering, Czech Technical University (2005)

    Google Scholar 

  13. Köhler, M.: Object Petri Nets: Definitions, Properties, and Related Models. Univ, Bibliothek des Fachbereichs Informatik (2003)

    Google Scholar 

  14. Niedźwiecki, M., Rzecki, K., Cetnarowicz, K.: Using the evaluation nets modeling tool concept as an enhancement of the Petri net tool. In: 2013 Federated Conference on Computer Science and Information Systems (2013)

    Google Scholar 

  15. Niedźwiecki, M., Rzecki, K., Cetnarowicz, K.: Complex negotiations in the conclusion and realisation of the contract. Procedia Comput. Sci. 18(0), 1525–1534 (2013)

    Google Scholar 

  16. Noe, J.D., Nutt, G.: Macro E-nets for Representation of Parallel Systems. IEEE Trans. Comput. C-22(8), 718–727 (1973)

    Google Scholar 

  17. Nutt, G.J.: Evaluation nets for computer system performance analysis. In: Proceedings of the fall joint computer conference, part I. pp. 279–286. AFIPS ’72 (Fall, part I), ACM, New York, NY, USA, 5–7 December 1972

    Google Scholar 

  18. Petri, C.A.: Kommunikation mit automaten. Ph.D. thesis, Universität Hamburg (1962)

    Google Scholar 

  19. Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Technical Report, Cambridge, MA, USA (1974)

    Google Scholar 

  20. Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN tools for editing, simulating, and analysing coloured Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) Applications and Theory of Petri Nets 2003. Lecture Notes in Computer Science, vol. 2679, pp. 450–462. Springer, Berlin (2003)

    Google Scholar 

  21. Reinhardt, K.: Reachability in Petri nets with inhibitor arcs. Electron. Notes Theor. Comput. Sci. 223, 239–264 (2008)

    Article  Google Scholar 

  22. Rozenberg, G., Engelfriet, J.: Elementary net systems. In: Reisig, W., Rozenberg, G. (eds.) Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science, vol. 1491, pp. 12–121. Springer, Berlin (1998)

    Chapter  Google Scholar 

  23. van Hee, K., Oanea, O., Post, R., Somers, L., van der Werf, J.M.: Yasper: a tool for workflow modeling and analysis. In: Proceedings of the Sixth International Conference on Application of Concurrency to System Design. pp. 279–282. ACSD ’06, IEEE Computer Society, Washington, DC, USA (2006)

    Google Scholar 

  24. Żabińska, M., Cetnarowicz, K.: Application of M-agent multi-profile architecture and evaluation nets to negotiation algorithm design. In: Amin K.Y.M. (ed.) The 2nd IEEE International Symposium on Signal Processing and Information Technology, ISSPIT’2002, pp. 214–219, 18–21 December 2002

    Google Scholar 

  25. Zurawski, R., Zhou, M.: Petri nets and industrial applications: a tutorial. IEEE Trans. Ind. Electron. 41(6), 567–583 (1994)

    Article  Google Scholar 

Download references

Acknowledgments

Author Michał Niedźwiecki would like to thank EFS (European Social Fund, pol. Europejski Fundusz Społeczny) of POKL (Operational Programme “Human Resources Development”, pol. Program Operacyjny “Kapitał Ludzki”) 4.1.1 (POKL.04.01.01-00-367/08-00), European Union programme for support.

Author information

Authors and Affiliations

  1. Cracow University of Technology, ul. Warszawska 24, 31-155, Krakow, Poland

    Michał Niedúwiecki & Krzysztof Rzecki

  2. AGH University of Science and Technology, al. Mickiewicza 30, 30-059, Krakow, Poland

    Michał Niedúwiecki & Krzysztof Cetnarowicz

Authors
  1. Michał Niedúwiecki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Krzysztof Rzecki
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Krzysztof Cetnarowicz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michał Niedúwiecki .

Editor information

Editors and Affiliations

  1. Department of Automatic Control and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland, and International Centre for Decision Sciences and Forecasting, Kraków, Poland

    Andrzej M.J. Skulimowski

  2. Polish Academy of Sciences, Systems Research Institute, Warszawa, Poland, and AGH University of Science and Technology, Kraków, Poland

    Janusz Kacprzyk

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Niedúwiecki, M., Rzecki, K., Cetnarowicz, K. (2016). Eval-net: Elements of Evaluation Nets as Extension to Petri Nets. In: Skulimowski, A., Kacprzyk, J. (eds) Knowledge, Information and Creativity Support Systems: Recent Trends, Advances and Solutions. Advances in Intelligent Systems and Computing, vol 364. Springer, Cham. https://doi.org/10.1007/978-3-319-19090-7_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-19090-7_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-19089-1

  • Online ISBN: 978-3-319-19090-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation