Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets

P
PARELEC
2002
International Conference on Parallel Computing in Electrical Engineering (PARELEC'02)
Abstract - Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Daniel Lamch

International Conference on Parallel Computing in Electrical Engineering (PARELEC'02)

Warsaw, Poland

September 22-September 25

ISBN: 0-7695-1730-7

	ASCII Text	x
	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 -

Daniel Lamch, Technical University of Czestochowa

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PCEE.2002.1115209

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.