@inproceedings {1081,
	title = {Structural Analysis of Signal Transition Graphs.},
	booktitle = {Workshop Petri Nets in System Engineering (PNSE{\textquoteright}97). Modelling, Verification and Validation},
	year = {1997},
	month = {09/1997},
	pages = {123-134},
	publisher = {Published as report n{\textordmasculine} 205 of the Computer Science Department of the University of Hamburg},
	organization = {Published as report n{\textordmasculine} 205 of the Computer Science Department of the University of Hamburg},
	address = {Hamburg, Germany},
	author = {F. Garc{\'\i}a-Vall{\'e}s and J.M. Colom},
	editor = {D. Moldt and M.-O. Stehr}
}

