_id,doi,title 3168,10.1016/j.tcs.2011.12.059,Lumpability abstractions of rule based systems