Title :
Verification and analysis of properties of dynamic systems based on Petri nets
Author_Institution :
Inst. of Math & Comput. Sci., Tech. Univ. Czestochowa, Poland
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 a software tool has been developed in the Technical University of Czestochowa.
Keywords :
Petri nets; telecommunication computing; Petri nets; algebra; dynamic systems; property analysis; property verification; software tool; telecommunication systems; Computer science; Costs; Equations; Mathematical model; Petri nets; Protocols; Signal processing; Software tools; System testing; Vectors;
Conference_Titel :
Parallel Computing in Electrical Engineering, 2002. PARELEC '02. Proceedings. International Conference on
Print_ISBN :
0-7695-1730-7
DOI :
10.1109/PCEE.2002.1115209
