1. Recursion and Petri nets

   • Eike Best
   • Raymond Devillers
   • Maciej Koutny

   Original articles Pages: 781 - 829

2. Labelled transition logic: an outline

   • E. Astesiano
   • G. Reggio

   Original articles Pages: 831 - 879

3. A Markov modulated multi-server queue with negative customers – The MM CPP/GE/c/L G-queue

   • Ram Chakka
   • Peter G. Harrison

   Original articles Pages: 881 - 919

4. Acknowledgement to Referees

   Pages: 921 - 922