Title :
Throughput analysis in timed colored Petri nets
Author_Institution :
Memorial University of Newfoundland
Keywords :
Computer science; Distribution functions; Frequency; Packaging; Petri nets; Reachability analysis; State-space methods; Steady-state; Throughput; Timing;
Conference_Titel :
Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on
Conference_Location :
IEEE
Print_ISBN :
0-7803-1281-3