Embedded System Description Using Petri Nets

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