Abstract
This paper presents a method which allows to specify, to program and to simulate the control behavior of flexible assembly systems. A hierarchical top down approach for planning and programming of a robot based assembly cell is discussed. The cell which consists of multiple units like stationary robots, mobile robots and peripherals is used for product assembly operations. Synchronization and exception handling for each of the assembly processes has to be considered. For specification of the cell program predicate transition nets are used. The predicate transition net of the cell can be broken down into subnets and into device specific local nets which define the operation of each specific device. The work is supported by an ESPRIT-CIM project.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alanche,P. et al: “PSI: a Petri net based simulator for FMS”, 5th European workshop on applications and theory of Petri nets, AARHUS, 1984
Valette R.: “Control of flexible Production Systems and Petri Nets”, 3rd European Workshop on Theory and Application of Petri Nets, Varenna, Italy, 1982.
Rillo M.: “Petri Nets and Flexible Manufacturing Systems”, Internal Report, Sao Paulo University, 1984.
Peterson,J.L.: “Petri Nets Theory and modelling of Systems”, Prentice Hall Inc., 1981.
Reisig W.: “Petrinetze — Eine Einführung”, Springer Verlag, 1986.
Brauer W., Reisig W. and Rozenberg G.: “Petri Nets: Central Models and Their Properties”, Part I and II, Proceedings of an Advanced Course, Bad Honnef, September 1986.
Jensen K.: “Colored Petri Nets and the invariant Methode”, Theoretical Computer Science, n. 14, 1981, pg. 317–336.
Genrich H.J. and Lauterbach K.: “System modeling with High Level Petri Nets”, Theoretical Computer Science, n. 13, 1981, pg. 109–136.
Sahraoui A., Atabakhche M., Courvoisier M. and Valette R.: “Joining Petri Nets and Knowledge Based Systems for Monitoring Purposes”, Proceedings of 1987 IEEE International Conference on Robotics and Automation, Raleigh, USA, 1987.
Zisman M.D.: “Use of Production Systems for Modeling Asynchronous Concurrent Processes”, in Pattern-Directed Inference Systems, Waterman D A and Hayes-Roth F. eds., Academic Press, 1978, pg 53–68.
Valette R.: “Nets in Production System”, GMD Advanced Course on Petri Nets, Bad Honnef, 1986.
Sahraoui A., Atabakhche M., Courvoisier M. and Valette R.: “Joining Petri Nets and Knowledge Based Systems for Monitoring Purposes”, Proceedings of 1987 IEEE International Conference on Robotics and Automation, Raleigh, USA, 1987.
Negretto,U., Rillo,M.: “Erweiterte Petri Netze in flexiblen Fertigungs-und Montagesystemen ”, Robotersysteme,Band 4, Heft 1, 1988, p. 34–42
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dillmann, R., Negretto, U. (1989). Combining Predicate Transition Nets and Rule Based Systems for Planning, Programming and Exception Handling in Manufacturing Process Control. In: Nof, S.Y., Moodie, C.L. (eds) Advanced Information Technologies for Industrial Material Flow Systems. NATO ASI Series, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74575-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-74575-1_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-74577-5
Online ISBN: 978-3-642-74575-1
eBook Packages: Springer Book Archive