In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 35-51. 1989.
Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 483; Advances in Petri Nets 1990, pages 64-78. Berlin, Germany: Springer-Verlag, 1991.
Abstract: After having described the importance and the complexity of monitoring flexible manufacturing systems, this paper shows the interest of introducing uncertainty and imprecision, within Petri net based models. These two concepts are then introduced through a modification of the marking of a Petri net with objects, and of its interpretation (external conditions associated with the transitions). It is shown how, in some cases, uncertainty is propagated and how, sometimes, it is possible to go back to certainty. Finally, an illustrative example is described.
Keywords: uncertain marking; monitoring flexible manufacturing system; uncertainty propagation; imprecision; net (with) objects; certainty.