MIN-Fakultät
Fachbereich Informatik
Fundamente Teoretici de Informatică

Bibliography

An Approach to Modelling FMS with Dynamic Object Petri Nets

Berndt Farwer, Daniel Moldt, and F. García-Vallés.
An approach to modelling FMS with dynamic object Petri nets.
In Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics., pages 1-6, Hammamet, Tunisia, October 2002.


BibTeX



@inproceedings{Farwer+02e,
      Author    = {Farwer, Berndt and Moldt, Daniel and Garc{\'{\i}}a-Vall{\'e}s, F.},
      Abstract  = {Analysis has up to now only been possible for a subclass
                   of static Petri net models for flexible Manufacturing Systems (FMS). In
                   this paper we relax this restriction and introduce the use of (dynamic)
                   object Petri nets for the system model of FMS. By using a conservative
                   extension of the so-far used Petri net formalism we ensure that the
                   crucial deadlock prevention and avoidance algorithms will still be
                   applicable. While analysis with respect to deadlock-freeness is
                   maintained, System Engineers gain the possibility of building models
                   that reflect dynamic changes of the formerly static system structure.
                   Furthermore, a clear distinction is made between the models of
                   machines, programs, parts, and the deadlock prevention control.},
      Title     = {An Approach to Modelling {FMS} with Dynamic Object {Petri} Nets},
      Address   = {Hammamet, Tunisia},
      Booktitle = {Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics.},
      Pages     = {1--6},
      Month     = oct,
      Year      = 2002
}