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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
H. Atabakhche. Utilisation conjointe de l'intelligence artificielle et des réseaux de Petri: Application au contrôle d'exécution d'un plan de fabrication. PhD thesis, Université Paul Sabatier, Toulouse, december 1987.
Grady Booch. Object-oriented development. IEEE Trans. on Software Engineering, SE-12:211–221, 1986.
R. E. Bellman and L. A. Zadeh. Decision-making in a fuzzy environment. In R. R. Yager, editor, Fuzzy sets and applications. John Wiley and Sons, 1988.
R. Valette J. Cardoso and D. Dubois. Monitoring manufacturing systems by means of petri nets with imprecise markings. In IEEE International Symposium on Intelligent Control 1989, pages 233–238, Albany, New York, september 1989.
D. Dubois and H. Prade. An introduction to possibilistic and fuzzy logics. In P. Smets, editor, Non-Standard logics for automated reasoning. Academic Press, 1988.
D. Dubois and H. Prade. Possibility Theory: an approach to computerized processing of uncertainty. Plenum Press, 1988. Translation of Théorie de possibilités published by Masson in 1985.
E. Bensana et all. An expert system approach to industrial job-shop scheduling. In IEEE International Conference on Robotics and automation, San Francisco, april 1986.
J. Erschler and P. Esquirol. Decision-aid in job-shop scheduling: a knowledge based approach. In IEEE International Conference on Robotics and automation, San Francisco, april 1986.
H.J. Genrich. Predicate/transition nets. Technical report, Institut fur methodische Grundlagen, may 1987.
G.J. Klir and T.A. Folger. Fuzzy sets uncertainty and information. Prentice-Hall, 1988.
C. Sibertin-Blanc. High-level petri nets with data structures. In Workshop on Applications and Theory of Petri nets, Finland, june 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cardoso, J., Valette, R., Dubois, D. (1991). Petri nets with uncertain markings. In: Rozenberg, G. (eds) Advances in Petri Nets 1990. ICATPN 1989. Lecture Notes in Computer Science, vol 483. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53863-1_21
Download citation
DOI: https://doi.org/10.1007/3-540-53863-1_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53863-9
Online ISBN: 978-3-540-46369-6
eBook Packages: Springer Book Archive