DocumentCode
2603486
Title
Verification and analysis of properties of dynamic systems based on Petri nets
Author
Lamch, Daniel
Author_Institution
Inst. of Math & Comput. Sci., Tech. Univ. Czestochowa, Poland
fYear
2002
fDate
2002
Firstpage
92
Lastpage
94
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel Computing in Electrical Engineering, 2002. PARELEC '02. Proceedings. International Conference on
Print_ISBN
0-7695-1730-7
Type
conf
DOI
10.1109/PCEE.2002.1115209
Filename
1115209
Link To Document