%0 Journal Article %J IEEE Transactions on Industrial Informatics %D 2009 %T Computation of Performance Bounds for Real-time systems using Time Petri Nets %A S. Bernardi %A J. Campos %I IEEE IES %N 2 %P 168-180 %V 5 %8 May