Timed Petri nets in modeling and analysis of simple schedules for
Zuberek, W.M. and Kubiak, W.
Journal of Computers and Mathematics with Applications,
vol.37, no.11-12, pp.191-206, 1999.
It is shown that a large class of flexible manufacturing cells can be
modeled using timed Petri nets. Net models of simple schedules (i.e.,
schedules in which exactly one part enters and one leaves the cell during
each cycle) are conflict-free nets. Two complementary approaches to analysis
of such models are presented: invariant analysis and throughput analysis.
Invariant analysis provides analytic (or symbolic) solutions for the cycle
time of a cell analyzing (invariant) subnets of the original net. Throughput
analysis performs a series of performance-preserving net reductions to
simplify the original model. Several directions for further research are
Flexible manufacturing systems, manufacturing cells, cell schedules,
timed Petri nets, place invariants, performance evaluation.
Denning, P.J., Buzen, J.P.: "The operational analysis of queueing network
models"; ACM Computing Surveys, vol.10, no.3, pp.225-261, 1978.
Dixon, C., Hill, S.D.: "Work-cell cycle-time analysis in a flexible
manufacturing system"; Proc. Pacific Conf. on Manufacturing,
Sydney-Melbourne, Australia, vol.1, pp.182-189, 1990.
Hack, M.: "Analysis of production schemata by Petri nets"; Project MAC
Technical Report TR-94, 1972.
Hillion, H.P.: "Timed Petri nets and application to multi-stage production
system"; in Advances in Petri Nets 1989 (Lecture Notes in Computer
Science 424); pp. 281-305, Springer-Verlag 1989.
Jensen, K.: Coloured Petri nets - basic concepts, analysis methods and
practical use; vol. 1, Springer-Verlag 1992.
King, P.J.B.: Computer and communication systems performance modeling;
Krueckeberg, F., Jaxy, M.: "Mathematical methods for calculating invariants
in Petri nets"; in Advances in Petri Nets 1987 (Lecture Notes in
Computer Science 266), G. Rozenberg (ed.), pp.104-131, Springer-Verlag 1987.
Murata, T.: "Petri nets: properties, analysis and applications'';
Proceedings of IEEE, vol.77, no.4, pp.541-580, 1989.
Reisig, W.: Petri nets - an introduction (EATCS Monographs on
Theoretical Computer Science 4); Springer-Verlag 1985.
Sethi, S.P., Sriskandarajah, C., Sorger, G., Blazewicz, J., Kubiak, W.:
"Sequencing of parts and robot moves in a robotic cell"; Int. Journal of
Flexible Manufacturing Systems, vol.4, pp.331-358, 1992.
Silva, M., Valette, R.: "Petri nets and flexible manufacturing";
in Advances in Petri nets 1989 (Lecture Notes in Computer Science 424),
pp. 374-417, Springer-Verlag 1989.
Suri, R.: "An overview of evaluative models for flexible manufacturing
systems"; Annals of Operations Research, vol.3, no.1, pp.3-21, 1985.
"Timed Petri nets - definitions, properties and applications";
Microelectronics and Reliability (Special Issue on Petri Nets and
Related Graph Models), vol.31, no.4, pp.627-644, 1991.
"Throughput analysis of simple closed timed Petri net models";
Proc. 36-th Midwest Symp. on Circuits and Systems, Detroit, MI, pp.930-933,
Zuberek, W.M., Kubiak, W.:
"Throughput analysis of manufacturing cells using timed Petri nets";
IEEE Int. Conf. on Systems, Man and Cybernetics, San Antonio, TX,
Zuberek, W.M., Zuberek, M.S.: "Transformations of timed Petri nets and
performance analysis"; Proc. 33-rd Midwest Symp. on Circuits and Systems,
Calgary, Canada, pp.774-778, 1990.
Available in pdf.