Using Petri nets for rule termination analysis
Detlef Zimmer, Axel Meckenstock, Rainer Unland
- Anthology ID:
- DBLP:conf/cikm/ZimmerMU96
- Volume:
- Proceedings of the Workshop on Databases - Active and Real-Time, DART 1996, Rockville, Maryland, USA
- Year:
- 1996
- Venue:
- cikm_workshop
- Publisher:
- ACM
- Pages:
- 29–32
- URL:
- https://doi.org/10.1145/352302.352310
- DOI:
- 10.1145/352302.352310
- DBLP:
- conf/cikm/ZimmerMU96
