An automated mail sorting center
Lou Somers · 2002
An automated mail sorting center has been modeled by means of high level Petri nets (hierarchical, colored, timed). The communication protocol has been modeled very extensively to show its correct behavior. Simulation of the colored timed Petri net has been used to obtain performance characteristics.