Bibliography

Model Checking Object Petri Nets in Prolog

Berndt Farwer and M. Leuschel.
Model checking object Petri nets in Prolog.
In Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, pages 20-31. ACM Press, 2004.

BibTeX

@inproceedings{Farwer+04c,
    Author = {Farwer, Berndt and Leuschel, M.},
    Booktitle = {Proceedings of the 6th ACM SIGPLAN international
conference on Principles and practice of declarative programming},
    Pages = {20--31},
    Publisher = ACMPRESS,
    Title = {Model Checking Object {Petri} Nets in {Prolog}},
    Year = 2004
}