Using the Evaluation Nets Modeling Tool Concept as an Enhancement of the Petri Net Tool

Petri net modeling has well-known algorithms, so it is easy to develop computer tools to build, edit, and analyse these networks. These tools are designed to be able to add extensions giving additional functionality, such as an extension for evaluation networks. Evaluation networks are not as popular as Petri Net modeling, but they turns out that, in modeling of some of the problems, evaluation networks makes analysis of them very clear and intuitive. Unfortunately there are no mathematical tools and computer programmes for evaluation networks use. Fortunately, under certain assumptions, an evaluation network can be converted into a Petri net. This article presents an idea of how to convert an existing Petri net computer programme to draw evaluation nets and convert them into Petri nets in order to use existing tools for Petri net analysis. Evaluation nets are well suited for modeling negotiation protocols between two parties represented by servers or software agents. This article pros ides an example of such a protocol presented in three versions: a sequence diagram UML, Petri net and Evaluation nets.