Verification and analysis of properties of dynamic systems based on Petri nets
D. Lamch · 2003
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 a software tool has been developed in the Technical University of Czestochowa.