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

Zebo Peng, Anders Trne

Browse the full ECRTS paper archive.