Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. - D. J. Floreani; Jonathan Billington; A. J. Dadej (Application and Theory of Petri Nets, 1996)

Application of the Stratification Concept to Radio Networks and Their Gateways. - D. J. Floreani; A. J. Dadej (Comput. Networks ISDN Syst., 1996)