The Community for Technology Leaders
Parallel Computing in Electrical Engineering, 2004. International Conference on (2002)
Warsaw, Poland
Sept. 22, 2002 to Sept. 25, 2002
ISBN: 0-7695-1730-7
pp: 92
Daniel Lamch , Technical University of Czestochowa
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.
INDEX TERMS
null
CITATION
Daniel Lamch, "Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets", Parallel Computing in Electrical Engineering, 2004. International Conference on, vol. 00, no. , pp. 92, 2002, doi:10.1109/PCEE.2002.1115209
83 ms
(Ver 3.3 (11022016))