Lawrence Cabac Michael Duvigneau Daniel Moldt Heiko Rölke Modeling Dynamic Architectures Using Nets-Within-Nets. 148-167 2005 conf/apn/2005 ICATPN http://dx.doi.org/10.1007/11494744_10 db/conf/apn/icatpn2005.html#CabacDMR05