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