A modular approach for the modelling of a class of zone-control conveyor system using timed Petri nets

References

• AGERWALA , T. , 1979 , Putting Petri nets to work . Computer , 12 ( 12 ), 85 – 94 .
   Web of Science ®Google Scholar
• AJMONE MARSAN , M. , and GIANNI , C. , 1984 , A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems . ACM Transactions on Computer Systems , 2 ( 2 ), 93 – 122 .
   Web of Science ®Google Scholar
• AL-JAAR , R. Y. , and DESROCHERS , A. A. , 1990 , Petri nets in automation and manufacturing . In G. H. Saridis, (ed.) Advances in Automation and Robotics , ( JAI Press , Connecticut ) 2 .
   Google Scholar
• BALBO , G. , and CHIOLA , G. , 1989 , Stochastic Petri net simulation . Proceedings of the 1989 Winter Simulation Conference , Washington , DC , 266 – 276 .
   Google Scholar
• BANASZAK , Z. , and KROGH , B. H. , 1990 , Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows . IEEE Transactions on Robotics and Automation , 6 ( 6 ), 724 – 734 .
   Google Scholar
• BRUNO , G. , and MORISIO , M. , 1987 , Petri-net based simulation of manufacturing cells . Proceedings of the IEEE International Conference on Robotics and Automation , Raleigh , North Carolina , 1174 – 1179 .
   Google Scholar
• CROCKETT , D. , DESROCHERS , A. A. , DICESARE , F. , and WARD , T. , 1987 , Implementation of a Petri net controller for a machining workstation . Proceedings of the IEEE International Conference on Robotics and Automation , Raleigh , North Carolina , 1861 – 1867 .
   Google Scholar
• CROOKES , J. G. , BALMER , D. W. , CHEW , S.T. , and PAUL , R. Y. , 1986 , A Three-phase Simulation System written in Pascal . Journal of Operational Research Society , 37 ( 6 ), 603 – 618 .
   Web of Science ®Google Scholar
• DAVIES , R. , and O'KEEFE , R. , 1989 , Simulation modeling with PASCAL ( Prentice Hall , UK ).
   Google Scholar
• DESROCHERS , A. A. , 1990 , Modeling and Control of Automated Manufacturing Systemsb ( IEEE Computer Society Press ).
   Google Scholar
• HOLLIDAY , M. A. , and VERNON , M. K. , 1987 , A generalized timed Petri net model for performance analysis . IEEE Transactions on Software Engineering , 13 ( 12 ), 1297 – 1310 .
   Web of Science ®Google Scholar
• KOFF , G. A. , 1987 , Automatic guided vehicle systems applications, controls, and planning , Material Flows , 4 , 3 – 16 .
   Google Scholar
• LAUTENBACH , K. , 1986 , Linear algebraic techniques for placesol;transition nets . In Braner, W, et al. (ed.) Lecture Notes in Computer Science (Vol. 255 ) Advances in Petri Nets 1986, Part 2 , ( Springer-Verlag , New York ), 142 – 167 .
   Google Scholar
• LEE-KWANG , H. , FARVEL , J. , and BAPTISTE , P. , 1987 , Generalized Petri net reduction method . IEEE Transactions on Systems, Man, and Cybernetics , 17 ( 2 ), 293 – 303 .
   Web of Science ®Google Scholar
• MURATA , T. , 1989 , Petri nets properties, analysis, and applications . Proceedings of the IEEE , 77 ( 4 ), 541 – 579 .
   Web of Science ®Google Scholar
• SON , S. N. , CHOI , B. K. , PARK , T. U. , and LEE-KWANG , H. , 1991 , Resolution of multiple conflicts in the Petri-net model of FAS . International Journal of Computer Integrated Manufacturing , 4 ( 4 ), 253 – 262 .
   Web of Science ®Google Scholar
• STECKE , K. E. , 1985 , Design planning, scheduling, and control problems in flexible manufacturing systems . Annals of Operations Research , 3 , 3 – 12 .
   Google Scholar
• VISWANADHAM , N. , NARAHARI , Y. , and JOHNSON , T. L. , 1990 , Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri nets models . IEEE Transactions on Robotics and Automation , 6 ( 6 ), 713 – 723 .
   Google Scholar
• ZENG , L. , WANG , H. P. , and JIN , S. , 1991 , Conflict detection of automated guided vehicles a Petri net approach . International Journal of Production Research , 29 ( 5 ), 865 – 879 .
   Web of Science ®Google Scholar
• ZHOU , M. C. , DICESARE , F. , and DESROCHERS , A. A. , 1989 , A top-down modular approach to synthesis of Petri net models for manufacturing systems . Proceedings of the IEEE International Conference on Robotics and Automation , Scottsdale , Arizona , 534 – 539 .
   Google Scholar
• ZHOU, M. C, and DICESARE , F. , 1991 , Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources . IEEE Transactions on Robotics and Automation , 7 ( 4 ), 512 – 527 .
   Google Scholar