For the most recent entries see the Petri Nets Newsletter.

A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.

Murata, Tadao; Zhang, D.

In: IEEE Transactions on Software Engineering, Vol. 14, No. 4, pages 481-498. April 1988.

Abstract: A predicate-tranistion net model for a subset of Horn clause logic programs is introduced. The syntax, transformation procedure, semantics, and deduction process for the net model are examined, and a possible parallel implementation for the net model is described.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography