Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen. Towards reachability trees for high-level Petri nets. In Grzegorz Rozenberg, Hartmann J. Genrich, Gérard Roucairol, editors, Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers. Volume 188 of Lecture Notes in Computer Science, pages 215-233, Springer, 1984.
@inproceedings{HuberJJJ84,
title = {Towards reachability trees for high-level Petri nets},
author = {Peter Huber and Arne M. Jensen and Leif O. Jepsen and Kurt Jensen},
year = {1984},
researchr = {https://researchr.org/publication/HuberJJJ84},
cites = {0},
citedby = {0},
pages = {215-233},
booktitle = {Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers},
editor = {Grzegorz Rozenberg and Hartmann J. Genrich and Gérard Roucairol},
volume = {188},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-15204-0},
}