Petri nets for sequence constraint propagation in knowledge based approaches

This paper deals with the possibilities of the integration of Artificial Intelligence techniques within a Petri net approach for controlling and monitoring Flexible Manufacturing Systems. Section 2 is a short presentation of knowledge representation, then the similarities between Petri nets and these techniques are described in sections 3 (static aspect) and 4 (dynamic aspect). An illustrative example is given in Section 5.

[1]  Frederick Hayes-Roth,et al.  Rule-based systems , 1985, CACM.

[2]  C. A. Petri.  Communication with automata , 1966 .

[3]  Didier Dubois,et al.  An expert-system approach to industrial job-shop scheduling , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[4]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[5]  Patrick Esquirol,et al.  Decision-aid in job shop scheduling: A knowledge based approach , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[6]  Karl Martin Schmidt-Reindl,et al.  Notations and terminology on Petri Net theory , 1987 .

[7]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[8]  C. Petri.  Kommunikation mit Automaten , 1962 .

[9]  Michael D. Zisman.  Use of production systems for modeling asynchronous, concurrent processes , 1977, SGAR.

[10]  Y. Narahari,et al.  On the invariants of coloured Petri nets , 1985, Applications and Theory in Petri Nets.

[11]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[12]  Robert Valette,et al.  PSI: A Petri net based simulator for flexible manufacturing systems , 1984, European Workshop on Applications and Theory in Petri Nets.