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]

Abstract

Abstract is missing.