Towards the Generation of Distributed Test Cases Using Petri Nets.

Stefan Heymer Jens Grabowski Towards the Generation of Distributed Test Cases Using Petri Nets. 93-102 1999 conf/fbt/1999 FBT db/conf/fbt/fbt1999.html#HeymerG99