Abstract
The aim of this paper is to discuss the issue of high-level Petri nets implementation. The specific class of high-level net considered is such that tokens are objects and transitions are rules with variables. They are a special case of Predicate/Transition nets. The implementation technique proposed here is an adaptation of the compilation technique developed for rule-based systems preserving the net structure. This technique is compared to the token-player algorithm, commonly used for centralized implementation as well as to a direct translation of the net into a rule-based system which is compiled afterwards.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
R. Bauman, T. A. Turano: Production based language simulation of Petri nets, Simulation Vol47, n5, p.191–198 (Nov. 1986).
D.S. Barbalho: Conception et mise en œuvre de la fonction coordination pour une commande distribuée d'atelier, Thèse de Doctorat de l'Université Paul Sabatier, Toulouse, (Décembre 1987).
L.Brownston and al: Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Adisson-Wesley, (1985).
G. Bruno, G. Marchetto: Process-translatable Petri nets for the rapid prototyping of process control systems: IEEE Trans. Software Eng., Vol SE-12, No 2, February, pp. 346–357 (1986).
M. Baldassari, G. Bruno: PROTOB: Object-Oriented Graphical modelling and Programming based on Prot Nets, 9th European Workshop on Applications anf Theory of Petri Nets Venice, June 22–24, p.333–342 (1988).
B. Bütler, R. Esser, R. Mattmann: A distributed simulator for High Order Petri Nets, 10th International Conference on Application anf Theory of Petri Nets Bonn, June, p.22–34 (1989).
D. Chocron, E. Cerni: A Petri net based industrial sequencer. IEEE International Conference and Exhibition on Industrial Control and Instrumentation, pp.18–22 (March 1980).
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, pp.207–241 (1986).
H. Fleischack, A. Weber: Rule-based programming, Predicate/transition nets and the modeling of office procedures and flexible manufacturing systems. 10th International Conference on Application and Theory of Petri Nets. Bonn, (June 1989).
C. Forgy: On an efficient implementation of production systems, Ph.D Thesis, Carnegie-Mellon University, (1979).
C. Forgy: RETE: a fast algorithm for many pattern/many object pattern match problem. Artificial Intelligence, 19:17–37, (1982).
H. Garnousset, J.M. Farines, E. Cantú, Efficient Tools for Analysis and Implementation of Manufacturing Systems Modelled by Petri nets with Objects: A production Rules Compilation-based Approach, IECON'89 Fifteenth Annual Conference of the IEEE Industrial Electronics Society, Philadelphia, (Nov. 1989).
H. J. Genrich Predicate/Transition nets, Lecture Notes in Computer Science 254 Springer Verlag p. 207–247 (1986).
A. Heinrich, W. Ameling: Multiprocessor System Architecture for the execution of Higher Petri nets, 9th European Workshop on Applications anf Theory of Petri Nets Venice, June 22–24, p.321–332 (1988).
J. Martínez, P.R. Muro, M. Silva, S.F. Smith, J.L. Villarroel: Merging artificial intelligence techniques and Petri nets for real-time scheduling and control of production systems. 12th IMACS World Congress on Scientific Computation. Paris, July, Vol 3, pp. 528–531 (1988).
T. Murata, D. Zhang: A Predicate-Transition net model for parallel interpretation of logic programs, IEEE Transaction on Software Engineering, Vol. 14, No. 1, (April 1988).
G. Peterka, T. Murata: Proof procedure and answer extraction in Petri net model of logic programs, IEEE Transaction on Software Engineering, Vol. 15, No. 2, (February 1989).
H. Philippe: Algorithmes pour la compilation de bases de connaissances en logiques propositionnelle et du premier ordre — les systèmes KHEOPS et CLOPS, Thèse de Doctorat de l'Université Paul Sabatier, Toulouse, (Mai 1989).
C. Sibertin-Blanc: High-level Petri nets with data structures, 6th European Workshop on Application and Theory of Petri nets, Helsinki, Finland, (June 1985).
J. Tankoano, J.C. Derniame, Structured Design of Distributed Systems using Interpreted Petri Nets, 10th International Conference on Application anf Theory of Petri Nets Bonn, June, p.329–347 (1989).
D. Taubner: On the Implementation of Petri Nets, 8th European Workshop on Applications anf Theory of Petri Nets Zaragoza 1987 and Lecture Notes in Computer Science 340 Springer Verlag p. 418–439 (1988).
R. Valette: Nets in production systems, Lecture Notes in Computer Science 255 Springer Verlag p. 191–217 (1986).
R. Valette, J. Cardoso, H. Atabakhche, M. Courvoisier, T. Lemaire: Petri nets and production rules for decision levels in FMS control. 12th IMACS World Congress on Scientific Computation. Paris, Juillet, pp.522–524 (1988).
Zisman, M.D.: Use of production systems for modelling asynchronous concurrent processes, in Pattern Directed Inference systems D.A. Watterman and F. Hayes-Roth (Eds.), Academic Press, London, p.53–68 (1978).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Valette, R., Bako, B. (1991). Software implementation of petri nets and compilation of rule-based systems. In: Rozenberg, G. (eds) Advances in Petri Nets 1991. ICATPN 1990. Lecture Notes in Computer Science, vol 524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019980
Download citation
DOI: https://doi.org/10.1007/BFb0019980
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54398-5
Online ISBN: 978-3-540-47600-9
eBook Packages: Springer Book Archive