Petri nets: an introduction
Modeling production rules by means of predicate transition networks
Information Sciences: an International Journal
Fusion, propagation, and structuring in belief networks
Artificial Intelligence
Principles of artificial intelligence
Principles of artificial intelligence
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
A quantitative approach to logical inference
Decision Support Systems
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
IEEE Transactions on Software Engineering
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Logic for Problem Solving
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Elements of General Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Evolutionary modelling of software systems: its application to agent-based and hypermedia systems
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Knowledge Verification with an Enhanced High-Level Petri-Net Model
IEEE Expert: Intelligent Systems and Their Applications
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
IEEE Transactions on Knowledge and Data Engineering
Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Improving model-based diagnosis through algebraic analysis: the Petri net challenge
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
Petri net models for the Horn clause form of propositional logic and of first-order predicate logic are studied. A net model for logical inconsistency check is proposed. Algorithms for computing T-invariants of Petri net models of logical inference systems are investigated. The algorithms are based on the idea of resolution and exploit the presence of one-literal, pure-literal, and splitting clauses to lead to faster computation. Algorithms for computing T-invariants of high-level Petri net (HLPN) models of predicate logic are presented.