Daniel Lamch,
"Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets,"
Parallel Computing in Electrical Engineering, International Conference on, pp. 92, International Conference on Parallel Computing in Electrical Engineering (PARELEC'02), 2002.
BibTex
x
@article{
10.1109/PCEE.2002.1115209, author = {Daniel Lamch}, title = {Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets}, journal ={Parallel Computing in Electrical Engineering, International Conference on}, volume = {0}, year = {2002}, isbn = {0-7695-1730-7}, pages = {92}, doi = {http://doi.ieeecomputersociety.org/10.1109/PCEE.2002.1115209}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Parallel Computing in Electrical Engineering, International Conference on TI - Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets SN - 0-7695-1730-7 SP EP A1 - Daniel Lamch, PY - 2002 KW - null VL - 0 JA - Parallel Computing in Electrical Engineering, International Conference on ER -
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.
Citation:
Daniel Lamch, "Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets," parelec, pp.92, International Conference on Parallel Computing in Electrical Engineering (PARELEC'02), 2002
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb