DocumentCode
3180472
Title
An automated mail sorting center
Author
Somers, L.J.
Author_Institution
Eindhoven Univ. of Technol., Netherlands
Volume
5
fYear
1995
fDate
22-25 Oct 1995
Firstpage
4492
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSMC.1995.538502
Filename
538502
Link To Document