Matthias Jantzen and Rüdiger Valk.
Formal properties of place/transition nets.
In Brauer , Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979, pages 165-212.
@inproceedings{Jantzen+80f,
Address = Springer.addr,
Author = {Jantzen, Matthias and Valk, R{\"u}diger},
Booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems (Hamburg, October 8--19, 1979)},
Crossref = {Brauer-e-80},
Editor = {Brauer, Wilfried},
Isbn = {3-540-10001-6},
Pages = {165--212},
Publisher = Springer,
Series = LNCS,
Title = {Formal Properties of Place/Transition Nets},
Volume = 84,
Year = 1980
}
@proceedings{Brauer-e-80,
editor = {Wilfried Brauer},
title = {Net Theory and Applications, Proceedings of the Advanced Course on
General Net Theory of Processes and Systems, {Hamburg, October} 8-19,
1979},
series = LNCS,
volume = {84},
publisher = {Springer},
address = Springer.addr,
year = {1980},
url = {https://doi.org/10.1007/3-540-100016},
xdoi = {10.1007/3-540-100016},
isbn = {3-540-10001-6}
}