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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
André, F., et al.: Distributed Computing Systems: Communication, Cooperation, Consistency. Elsevier Science Publishers, New York (1985)
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)
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)
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)
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)
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)
Eckleder, A., Freytag, T.: WoPeD—A tool for teaching, analyzing and visualizing workflow nets. Petri Net Newsletter 75 (2008)
FIPA: FIPA Contract Net Interaction Protocol Specification. FIPA (2001)
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)
Heitmann, F., Moldt, D.: Petri Nets Tools and Software (Accessed in 20130514). http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/
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)
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)
Köhler, M.: Object Petri Nets: Definitions, Properties, and Related Models. Univ, Bibliothek des Fachbereichs Informatik (2003)
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)
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)
Noe, J.D., Nutt, G.: Macro E-nets for Representation of Parallel Systems. IEEE Trans. Comput. C-22(8), 718–727 (1973)
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
Petri, C.A.: Kommunikation mit automaten. Ph.D. thesis, Universität Hamburg (1962)
Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Technical Report, Cambridge, MA, USA (1974)
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)
Reinhardt, K.: Reachability in Petri nets with inhibitor arcs. Electron. Notes Theor. Comput. Sci. 223, 239–264 (2008)
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)
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)
Ż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
Zurawski, R., Zhou, M.: Petri nets and industrial applications: a tutorial. IEEE Trans. Ind. Electron. 41(6), 567–583 (1994)
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
Corresponding author
Editor information
Editors and Affiliations
Rights 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)