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
}
