The Community for Technology Leaders
International Conference on Parallel Computing in Electrical Engineering (PARELEC'02) (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

D. Lamch, "Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets," International Conference on Parallel Computing in Electrical Engineering (PARELEC'02)(PARELEC), Warsaw, Poland, 2002, pp. 92.
doi:10.1109/PCEE.2002.1115209
97 ms
(Ver 3.3 (11022016))