Using Flat Concurrent Prolog in System Modeling

The flat concurrent Prolog (FCP) language, which enables the implementation of synchronization through data flow, communication through shared variables, parallelism through the reduction of the AND components in the clause's body, and indeterminacy through guarded commands, is discussed. It is shown that FCP, used in conjunction with Petri net methods, forms a powerful tool in the modeling of parallel systems that involve concurrency. The simulation of systems represented by various types of Petri nets is achieved using the reduction process of FCP. AND parallelism supports free competition among conflicting enabled transitions. A structural analysis of systems is provided using the metaprogramming technique. >

[1]  Norihisa Suzuki.  Concurrent Prolog as an Efficient VLSI Design Language , 1985, Computer.

[2]  Ehud Shapiro.  Systolic Programming: A Paradigm of Parallel Processing , 1984, FGCS.

[3]  Nick Roussopoulos,et al.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets , 1983, IEEE Transactions on Software Engineering.

[4]  Ehud Shapiro,et al.  Meta interpreters for real , 1988 .

[5]  Ehud Shapiro,et al.  Concurrent Prolog: A Progress Report , 1985, Computer.

[6]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[7]  A. J. M. van Gasteren,et al.  Derivation of a Termination Detection Algorithm for Distributed Computations , 1983, Inf. Process. Lett..

[8]  Akikazu Takeuchi,et al.  Parallel Logic Programming Languages , 1986, ICLP.

[9]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[10]  Avinash C. Kak,et al.  FProlog: A language to integrate logic and functional programming for automated assembly , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[11]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[12]  William I. Bullers.  Logic programming for manufacturing system specification , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[13]  Guy Juanole,et al.  Specification and verification of distributed systems using prolog interpreted petri nets. , 1984, ICSE '84.

[14]  Paul Wallich,et al.  Next-generation race bogs down , 1987 .

[15]  David Weinbaum,et al.  Hardware description and simulation using Concurrent Prolog , 1988 .

[16]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[17]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[18]  Keith L. Clark,et al.  PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..

[19]  Manjunath Kamath,et al.  Applications of petri net based models in the modelling and analysis of flexible manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[20]  P. Wallich,et al.  Next-generation race bogs down: Japan, the United States, and Europe are still far from their declared goals for ‘intelligent’ machines, but Japan's hidden Agenda may already have succeeded , 1987, IEEE Spectrum.