Parallel Computing in Electrical Engineering, 2004. International Conference on (2002)
Sept. 22, 2002 to Sept. 25, 2002
Daniel Lamch , Technical University of Czestochowa
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.
D. Lamch, "Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets," Parallel Computing in Electrical Engineering, 2004. International Conference on(PARELEC), Warsaw, Poland, 2002, pp. 92.