%0 Book Section %B Petri Net Approaches for Modelling and Validation %D 2003 %T Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques %A F. García-Vallés %A J.M. Colom %E W. v.d. Aalst %E J.M. Colom %E F. Kordon %E G. Kotsis %E D. Moldt %I Lincom Pub. Co. %P 35-51 %S Lincom Studies in Computer Science %@ 3-89586-597-4