@inproceedings{TACAS-1999-Heljanko,
author = "Keijo Heljanko",
booktitle = "{Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/3-540-49059-0_17",
isbn = "3-540-65703-7",
pages = "240--254",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets}",
volume = 1579,
year = 1999,
}
Tags: