A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems

Zebo Peng, Anders Törne. A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems. In Fifth Euromicro Workshop on Real-Time Systems, RTS 1993, Oulu, Finland, June 22-24, 1993. Proceedings. pages 204-209, IEEE, 1993. [doi]

@inproceedings{PengT93,
  title = {A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems},
  author = {Zebo Peng and Anders Törne},
  year = {1993},
  doi = {10.1109/EMWRT.1993.639093},
  url = {http://dx.doi.org/10.1109/EMWRT.1993.639093},
  researchr = {https://researchr.org/publication/PengT93},
  cites = {0},
  citedby = {0},
  pages = {204-209},
  booktitle = {Fifth Euromicro Workshop on Real-Time Systems, RTS 1993, Oulu, Finland, June 22-24, 1993. Proceedings},
  publisher = {IEEE},
}