Abstract
This paper discusses the design of the coordination subsystem of a Flexible Manufacturing System (FMS) and its integration into the integrated control system of the FMS. The approach adopted is based on the use of high level Petri nets (colored Petri nets) for the subsystem modeling, its qualitative and quantitative analysis and its software implementation. The design of the real time scheduling subsystem as an expert system is proposed. The interaction between the coordination subsystem and the rocal controllers and the scheduling subsystem is done by using a terminology based on the colors of the coordination model.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M.Silva: Las redes en la Automdtica y la Informatica, Ed. AC, Madrid. An English translation is to appear in 1987, published by Kluwer Eds.
M.Diaz: Modelling and Analysis of Communication and Cooperation Protocols using Petri net based models, Computer Networks, Vo. 6, No. 6, December 1982, pp. 419–441.
J.L.Peterson: Petri nets theory and the modelling of systems, Prentice-Hall, 1981.
J.Martinez, M.Silva: A langage for the description of Concurrent Systems Modelled by Colored Petri nets: Application to the Control of Flexible Manufacturing Systems, Chapter 8 in Languages for Automation, Plenum Publishing Co., New York, 1985, pp. 369–388.
J.Martinez, H.Alla, M.Silva: Petri nets for the specification of FMSs, in [Kusiak 86], 1986, pp. 389–406.
M.Ajmone Marsan, G.Balbo, K.Trivedi (Eds.): IEEE/ACM Pocs. International Workshop on Timed Petri Nets, Torino (Italy), July 1985.
K.Jensen: Coloured Petri nets and the invariant method, Theoretical Computer Science 14, North-Holland, Amsterdam, 1981, pp. 317–336.
P.Huber, A.M.Jensen, L.O.Jepsen, K.Jensen: Towards reachability trees for high level Petri nets, Advances in Petri Nets 1984, Lecture Notes in Computer Science 188, Springer-Verlag, Berlin, pp. 215–233.
HJ.Genrich, K.Lautenbach: System Modelling with High-Level Petri Nets, Theoretical Computer Science, 13, 1981,pp. 109–136.
M.Silva, J.Martinez, H.Alla, P Ladet Generalized inverses and the calculation of symbolic invariants for coloured Petri nets, Technique et Science Informatique, Vol. 4, No. 1, 1985, pp. 113–126.
J.M.Colom, J.Martfnez, M.Silva: Packages for validating discrete production systems modeled with Petri nets, Procs. of IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems, Villeneuve d’Ascq ( France ), June 1986, pp. 457–462.
M.Silva, T.Murata: B-fairness and Structural B-fairness in Petri nets models of concurrent systems, Internal report, Dpto. Automâtica, University of Zaragoza, June 1986.
M.Silva: Towards a synchronic theory in Petri nets, Internal report, Dpto. Automatisa, University of Zaragoza, September 1986.
M.Silva, S.Velilla: Programmable Logic Controllers and Petri Nets: A Comparative Study, Proc. of Software for Computer Control, SOCOCO’82, Pergamon Press, 1982, pp. 83–88.
R.Nelson, L.Haibt, P.Sheridan: Casting Petri Nets into Programs, IEEE Trans. on Software Engineering, Vol. SE-9, No. 5, 1983, pp. 590–602.
J.M.Colom, M.Silva, J.L.Villarroel: On software implementation of Petri nets and colored Petri nets using high-level concurrent languages, 7th European Workshop on Application and Theory of Petri nets, Oxford, July 1986, pp. 207–241.
G.Bruno, G.Marchetto: Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems, IEEE Trans. on Software Engineering, Vol. SE-12, No. 2, February 1986, pp. 346–357.
A.Kusiak (ed.): Modelling and Design of Flexible Manufacturing Systems, 1986, Elsevier, Amsterdam.
M.S.Fox, S.F.Smith: ISIS, A Knowledge-Based System for Factory Scheduling, Expert Systems, the Int’l J. Knowledge Engineering, Vol. 1, July 1984, pp. 25–49.
K.Lautenbach: On Logical and Linear Dependencies, GMD Report No.147, 1985, Sankt Augustin, Germany.
T.Murata, D.Zhang: A High-Level Petri Net Model for Parallel Interpretation of Logic Programs, Procs. of the 1986 Inter. Conf. on Computer Languages, IEEE Comp. So., October 1986.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 IEEE
About this chapter
Cite this chapter
MartÃnez, J., Muro, P., Silva, M. (1989). Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. In: Jensen, K., Rozenberg, G. (eds) High-level Petri Nets. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84524-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-84524-6_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54125-7
Online ISBN: 978-3-642-84524-6
eBook Packages: Springer Book Archive