Pages that link to "Item:Q3801054"
From MaRDI portal
The following pages link to A predicate-transition net model for parallel interpretation of logic programs (Q3801054):
Displaying 6 items.
- Inconsistency check of a set of clauses using Petri net reductions (Q1100906) (← links)
- Inference approach based on Petri nets (Q2056355) (← links)
- Model checking multi-agent systems with logic based Petri nets (Q2426108) (← links)
- Planning without state space explosion: Petri net to Markov decision process (Q3393989) (← links)
- Some issues about Petri net application to manufacturing and process supervisory control (Q6487367) (← links)
- Complete inference via knowledge Petri nets and resolution rules (Q6564892) (← links)