1. Connectivity of workflow nets: the foundations of stepwise verification

   • Artem Polyvyanyy
   • Matthias Weidlich
   • Mathias Weske

   Original Article 29 June 2011 Pages: 213 - 242

2. A Markovian queue with varying number of servers and applications to the performance comparison of HSDPA user equipment

   • Tien Van Do
   • Ram Chakka
   • László Pap

   Original Article 25 June 2011 Pages: 243 - 269