Title :
An automated mail sorting center
Author_Institution :
Eindhoven Univ. of Technol., Netherlands
Abstract :
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
Keywords :
Petri nets; controllability; optical character recognition; postal services; process control; protocols; automated mail sorting; colored timed Petri net; communication protocol; optical character recognition; performance characteristics; postal service; reachability graph; Belts; Character recognition; Ethernet networks; Image coding; Image recognition; Optical character recognition software; Petri nets; Postal services; Sorting; Video recording;
Conference_Titel :
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2559-1
DOI :
10.1109/ICSMC.1995.538502
