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} }