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.
Original language | English |
---|---|
Title of host publication | 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century |
Place of Publication | Piscataway |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 4492-4496 |
Number of pages | 5 |
ISBN (Print) | 0-7803-2559-1 |
DOIs | |
Publication status | Published - 1 Dec 1995 |
Event | 1995 IEEE International Conference on Systems, Man and Cybernetics, SMC 1995 - Vancouver, Canada Duration: 22 Oct 1995 → 25 Oct 1995 |
Conference
Conference | 1995 IEEE International Conference on Systems, Man and Cybernetics, SMC 1995 |
---|---|
Abbreviated title | SMC 1995 |
Country/Territory | Canada |
City | Vancouver |
Period | 22/10/95 → 25/10/95 |