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-75}, 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-75, Address = Springer.addr, Booktitle = {Advanced Course: Net Theory and Applications 1979}, Editor = {Brauer, Wilfried}, Isbn = {3-540-10001-6}, Number = 84, Publisher = Springer, Series = LNCS, Title = {Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, {Hamburg}, October 8-19, 1979}, Year = 1980 }