Petri nets with uncertain markings

  • Janette Cardoso
  • Robert Valette
  • Didier Dubois
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 483)


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.


possibility logic Petri Nets fuzzy dates F.M.S. imprecise uncertain 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ata87]
    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.Google Scholar
  2. [Boo86]
    Grady Booch. Object-oriented development. IEEE Trans. on Software Engineering, SE-12:211–221, 1986.Google Scholar
  3. [BZ88]
    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.Google Scholar
  4. [CD89]
    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.Google Scholar
  5. [DP88a]
    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.Google Scholar
  6. [DP88b]
    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.Google Scholar
  7. [ea86]
    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.Google Scholar
  8. [EE86]
    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.Google Scholar
  9. [Gen87]
    H.J. Genrich. Predicate/transition nets. Technical report, Institut fur methodische Grundlagen, may 1987.Google Scholar
  10. [KF88]
    G.J. Klir and T.A. Folger. Fuzzy sets uncertainty and information. Prentice-Hall, 1988.Google Scholar
  11. [SB85]
    C. Sibertin-Blanc. High-level petri nets with data structures. In Workshop on Applications and Theory of Petri nets, Finland, june 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Janette Cardoso
    • 1
  • Robert Valette
    • 2
  • Didier Dubois
    • 3
  1. 1.LAAS-CNRS and UFSCFlorianópolisBrazil
  2. 2.LAAS-CNRS 7Toulouse
  3. 3.LSI-UPS 118Toulouse

Personalised recommendations