In: SEKE'90. Proceedings of the 2nd International Conference on Software Engineering and Knowledge Engineering, 1990, Skokie, IL, USA, pages 260-266. 1990.
Abstract: A high-level Petri net model is given for a subset of flat guarded Horn clause (FGHC) programs. The paper shows how the Petri net model can aid in the description of the fundamental concepts common to all of concurrent logic programming: control and synchronization. The model is based upon another Petri net model for Horn clause logic but with additional control and synchronization components. A general transformation scheme is given for translating these programs into the net model.
Keywords: flat guarded Horn clause; high-level net; concurrent logic programming; synchronization; deadlock.