A predicate-transition net model for parallel interpretation of logic programs
From MaRDI portal
Publication:3801054
DOI10.1109/32.4671zbMath0654.68028OpenAlexW2139756789MaRDI QIDQ3801054
Publication date: 1988
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/32.4671
Petri netsparallel processingcommunication processesfixed point semanticsrelational operationsdeduction methodHorn clause logic programsand/or parallelismspredicate/transition net
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Inconsistency check of a set of clauses using Petri net reductions ⋮ Model checking multi-agent systems with logic based Petri nets ⋮ Inference approach based on Petri nets ⋮ Planning without state space explosion: Petri net to Markov decision process
This page was built for publication: A predicate-transition net model for parallel interpretation of logic programs
