Modeling and analysis of timed Petri nets using heaps of pieces

Stéphane Gaubert, Jean Mairesse. Modeling and analysis of timed Petri nets using heaps of pieces. IEEE Trans. Automat. Contr., 44(4):683-697, 1999. [doi]

Abstract

Abstract is missing.