Zimmer, Detlef; Meckenstock, Axel; Unland, Rainer:
Using Petri Nets for Rule Termination Analysis
In: Proceedings of the workshop on Databases active and real-time - CIKM96: Conference on Information and Knowledge Management,Rockville Maryland, USA, November 12 - 16, 1996 - New York: ACM, 1997
1997book article/chapter in Proceedings
Economics
Title in English:
Using Petri Nets for Rule Termination Analysis
Author:
Zimmer, Detlef;Meckenstock, Axel;Unland, RainerUDE
LSF ID
5110
Other
connected with university
DOI
10.1145/352302.352310
Language of text:
English
Appears in
Proceedings of the workshop on Databases active and real-time
Conference
CIKM96: Conference on Information and Knowledge Management,Rockville Maryland, USA, November 12 - 16, 1996
Place of publication:
New York
Publisher:
ACM
Year of publication:
1997
ISBN
978-0-89791-948-7