Using flat concurrent Prolog in system modeling

Author

Dotan, Yoheved ; Arazi, Benjamin

Author_Institution

Dept. of Electr. & Comput. Eng., Ben Gurion Univ., Beer Sheva, Israel

Volume

17

Issue

6

fYear

1991

fDate

6/1/1991 12:00:00 AM

Firstpage

493

Lastpage

512

Abstract

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

Keywords

PROLOG; Petri nets; logic programming; parallel programming; structured programming; virtual machines; AND components; FCP; Petri net methods; Petri nets; conflicting enabled transitions; data flow; flat concurrent Prolog; free competition; guarded commands; indeterminacy; metaprogramming technique; parallel systems; parallelism; reduction process; shared variables; structural analysis; synchronization; system modeling; Concurrent computing; Data structures; Dynamic programming; Flexible manufacturing systems; Logic programming; Modeling; Parallel processing; Petri nets; Phase detection; Timing;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.87277

Filename

87277