Wolfgang Reisig. Embedded System Description Using Petri Nets. In Albert T. Kündig, Richard E. Bührer, Jacques Dähler, editors, Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986. Volume 284 of Lecture Notes in Computer Science, pages 18-62, Springer, 1986.
@inproceedings{Reisig86b, title = {Embedded System Description Using Petri Nets}, author = {Wolfgang Reisig}, year = {1986}, researchr = {https://researchr.org/publication/Reisig86b}, cites = {0}, citedby = {0}, pages = {18-62}, booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986}, editor = {Albert T. Kündig and Richard E. Bührer and Jacques Dähler}, volume = {284}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-18581-X}, }