Szczegóły publikacji
Opis bibliograficzny
Eval-net: elements of evaluation nets as extension to Petri nets / Michał NIEDŹWIECKI, Krzysztof Rzecki, Krzysztof CETNAROWICZ // W: Knowledge, information and creativity support systems: recent trends, advances and solutions : selected papers from KICSS'2013 - 8th international conference on Knowledge, Information, and Creativity Support Systems, November 7-9, 2013, Kraków, Poland / eds. Andrzej M. J. Skulimowski, Janusz Kacprzyk. — Switzerland : Springer International Publishing, 2016. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 364). — ISBN: 978-3-319-19089-1; e-ISBN: 978-3-319-19090-7. — S. 151–162. — Bibliogr., Abstr. — Błędny zapis nazwiska: Michał Niedúwiecki. — M. Niedźwiecki - pierwsza afiliacja: Cracow University of Technology
Autorzy (3)
- AGHNiedźwiecki Michał
- Rzecki Krzysztof
- AGHCetnarowicz Krzysztof
Słowa kluczowe
Dane bibliometryczne
ID BaDAP | 96486 |
---|---|
Data dodania do BaDAP | 2016-03-07 |
DOI | 10.1007/978-3-319-19090-7_12 |
Rok publikacji | 2016 |
Typ publikacji | materiały konferencyjne (aut.) |
Otwarty dostęp | |
Konferencja | 8th international conference on Knowledge, Information and Creativity Support Systems |
Czasopismo/seria | Advances in Intelligent Systems and Computing |
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.