Title of article :
Modeling and analysis of timed Petri nets using heaps of pieces
Author/Authors :
Gaubert، نويسنده , , S.، نويسنده , , Mairesse، نويسنده , , J.
، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Keywords :
Automata with multiplicities , (max , timed Petri nets. , heaps of pieces , +) semiring , Scheduling
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control
