Bibliography

Undecidability in Object-Oriented Petri Nets

Olaf Kummer.
Undecidability in object-oriented Petri nets.
Petri Net Newsletter, 59:18-23, 2000.

BibTeX

@ARTICLE{Kummer00,
        AUTHOR             = {Kummer, Olaf},
        JOURNAL            = {{Petri} Net Newsletter},
        PAGES              = {18--23},
        TITLE              = {Undecidability in Object-Oriented {Petri} Nets},
        VOLUME             = {59},
        YEAR               = 2000
}