Model checking object petri nets in prolog.

Berndt Farwer, Michael Leuschel

Browse the full PPDP paper archive.