%0 Book Section %B Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools %D 1998 %T Structural Methods %A J.M. Colom %A S. Haddad %A M. Silva %A E. Teruel %E C. Girault %E R. Valk %C Zaragoza, Spain %P 271-315 %8 09/1998