Connectivity of workflow nets: the foundations of stepwise verification Artem PolyvyanyyMatthias WeidlichMathias Weske Original Article 29 June 2011 Pages: 213 - 242
A Markovian queue with varying number of servers and applications to the performance comparison of HSDPA user equipment Tien Van DoRam ChakkaLászló Pap Original Article 25 June 2011 Pages: 243 - 269