1. Lect Notes Comput Sci;N. Aoumeur,2000
2. Lect Notes Comput Sci;N. Aoumeur,1999
3. N. Aoumeur and G. Saake. An Appropriate Semantics for Distributed Active Object-Oriented Databases on the Basis of the Co-nets Approach. In International Conference on Software Engineering Applied to Networking and Parallel/ Distributed Computing (SNPD’ 00), Reims, France, 2000.
4. N. Aoumeur and G. Saake. Cooperative Information Systems Modelling and Validation Using the Co-nets Approach: The Chessmen Making Shop Case Study. In S. Gnesi, I. Schieferdecker, and A. Rennoch, editors, Proc. of the 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS’00), Berlin, Germany, pages 361–383, 2000.
5. N. Aoumeur and G. Saake. Specifying and Validating Train Control Systems Using an Appropriate Component-Based Petri Nets Model. In Proc. of the Petri Nets in Design, Modelling and Simulation of Control Systems Special session at IFAC Conference CSD2000, Bratislava, Slovakia, 2000.