Inference approach based on Petri nets
From MaRDI portal
Publication:2056355
DOI10.1016/j.ins.2020.09.023zbMath1475.68369OpenAlexW3088387513MaRDI QIDQ2056355
HuaiJu Luo, KaiCheng Tan, Jiliang Luo, Meng Chu Zhou
Publication date: 2 December 2021
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2020.09.023
Knowledge representation (68T30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications
- Deadlock and liveness characterization for a class of generalized Petri nets
- Feedback control of Petri nets based on place invariants
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources
- A new paradigm for uncertain knowledge representation by plausible Petri nets
- A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Logical Reasoning and Petri Nets
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- A predicate-transition net model for parallel interpretation of logic programs
- Proof procedure and answer extraction in Petri net model of logic programs
- Resolution, Refinements, and Search Strategies: A Comparative Study
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Structural Controller for Logical Expression of Linear Constraints on Petri Nets
- A Machine-Oriented Logic Based on the Resolution Principle
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- On sentences which are true of direct unions of algebras
This page was built for publication: Inference approach based on Petri nets
