Modeling and analysis of timed Petri nets using heaps of pieces

Author(s):  
Stephane Gaubert ◽  
Jean Mairesse
2010 ◽  
Vol 12 (3) ◽  
pp. 253-266 ◽  
Author(s):  
NaiQi Wu ◽  
MengChu Zhou

Sign in / Sign up

Export Citation Format

Share Document