Abstract
In this paper, we have given different elementary illustrative examples of modelling flexible production by means of AP-nets. This method enables connections and deconnections of subgraphs to be easily represented which is not possible by the use of priority nets or by nets with inhibitors edges. Moreover AP-nets are also suitable for modelling priority, and communications between the operative part, the control part and the hierarchical level. We then dispose of new and original possibilities for describing both the control and operative part of a process.
Difficulties will obviously appear in analysing the dynamic behaviour of the model and in such a case methodologies improved for Petri nets are not sufficient. For that reason, we have chosen to write about the simulator for validation of the different behaviours of each working mode. Simultaneously we have tried to find original results in the analysis of structured AP-nets.
Preview
Unable to display preview. Download preview PDF.
Bibliographie
HACK M. "Petri net language" MIT Computation Structure Group, MEMO 124, 1975.
HACK M. "Decision problems for Petri nets and vector addition systems" MAC Techn. Mem. 59, MIT 1975.
VALK R. "On the computational power of extended Petri-nets" MFCS 1978, Lect. Notes in Computer Sc., no 64, Springer, Berlin 1978.
VALK R. "Self-modifying nets, a natural extension of Petri-nets" ICALP, Lect. Notes in Computer Sc., no 62, Springer, Berlin 1978
VALK R. "Generalizations of Petri-nets" MFCS 1981, Lect. Notes in Computer Sc., no 118, Springer, Berlin 1981.
LAUTENBACH K., SCHMID H.A. "Use of Petri-nets for proving correctness of concurrent process systems" Information Processing 74, North-Holland Publishing Company 1974.
KELLER R.M. "Formal verification of parallel programs" Communication of the ACM, Vol. 19, no 7, July 1976.
VALETTE R. "Sur la description, l'analyse et la validation des systèmes de commandes parallèles" Thèse d'Etat, Toulouse 1976.
MEMMI G., ROUCAIROL G. "Linear algebra in net theory" Proc. of the advanced course on general net theory of processes and systems, Hamburg 1979, Springer 1980.
CORBEEL D., VERCAUTER C., GENTINA J.C. "Adaptive Petri nets for real time applications" Digitec'84, IMACS, Patras, 1984.
CORBEEL D., GENTINA J.C., VERCAUTER C. "Généralisation des Réseaux de Pétri" AI'83, IASTED Symposium, Lille, 1983.
CORBEEL D. "Schéma de cablage et schéma de contrôle. Application à la simulation et à la gestion de processus industriels" Thèse de Doctorat de Spécialité, Lille, 1979.
BRAMS G.W. "Réseaux de Pétri: théorie et pratique" Masson, 1981.
Rapport final de la Commission AFCET "Normalisation de la représentation du cahier des charges d'un automatisme logique" Public. in "Automatique et Informatique Industrielle", no 61–62, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corbeel, D., Gentina, J.C., Vercauter, C. (1986). Application of an extension of petri nets to modelization of control and production processes. In: Rozenberg, G. (eds) Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science, vol 222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016211
Download citation
DOI: https://doi.org/10.1007/BFb0016211
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16480-7
Online ISBN: 978-3-540-39822-6
eBook Packages: Springer Book Archive