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]
Abstract is missing.