Thomas Lindner
-
The model-checking Kit
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets