Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets

Authors:
Daniel Lamch
Affiliations:
-
Venue:
PARELEC '02 Proceedings of the International Conference on Parallel Computing in Electrical Engineering
Year:
2002

Citing 0
Cited 1

A lightweight group-key management protocol for secure ad-hoc-network routing

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

The article presents an example of using Petri nets to research properties of telecommunication systems. In order to analyse dynamic features in an algebraic way the software tool has been developed in the Technical University of Czestochowa.