1. L. Bernardinello and F. De Cindio. A survey of basic net models and modular net classes. In Advances in Petri Nets 1992, volume 609 of LNCS. Springer-Verlag, 1992.
2. G. Berthelot. Checking Properties of Nets Using Transformations. In Advances in Petri Nets 1985, volume 222 of LNCS, pages 19–40. Springer Verlag, 1986.
3. J. Billington and D. Kinny. Computer Aided Protocol Engineering. In Conference on New Business Applications of Information Technology, pages 69–73, Melbourne, Australia, 1989.
4. G. Berthelot, G. Memmi, and W. Reisig. A Control Structure for Sequential Processes Synchronised by buffers. In Proc. of the 4th European Workshop on Application and Theory of Petri Nets. Toulouse, France, 1983.
5. A. Bourguet-Rouger and C. Girault. Validation of Parallel System Properties. In Proc. of International Conference on Parallel Processing and Applications, L'Aquila, Italy, 1987. North Holland.