doi dblp Using Petri nets for rule termination analysis Detlef Zimmer | Axel Meckenstock | Rainer Unland Proceedings of the Workshop on Databases - Active and Real-Time, DART 1996, Rockville, Maryland, USA