STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Distributed Systems: Concepts and Design
Distributed Systems: Concepts and Design
Response Time Analysis of OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Investigating the Applicability of Petri Nets for Rule-Based System Verification
IEEE Transactions on Knowledge and Data Engineering
A New Approach to Verify Rule-Based Systems Using Petri Nets
COMPSAC '99 23rd International Computer Software and Applications Conference
Petri Nets and Production Systems
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Agent Based Manufacturing
Shortening Matching Time in OPS5 Production Systems
IEEE Transactions on Software Engineering
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Building a Holarchy Using Business Process-Oriented Holonic (PrOH) Modeling
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Optimization Models for Training Belief-Rule-Based Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Verification of Knowledge-Based Systems Using Predicate/Transition Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
FuzzyShell: a large-scale expert system shell using fuzzy logic for uncertainty reasoning
IEEE Transactions on Fuzzy Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 0.00 |
The ability to infer is necessary to achieve desirable behavior within many systems. In software systems, this ability can be achieved through a number of decision-making solutions. This paper proposes an alternative inference solution inspired in Rule-based systems (RBSs). This solution considers classical RBS elements, such as rules and fact-base sets, as actual computational entities. The innovative aspect of the proposed solution is that computational entities carry out inference by means of collaborations based upon notifications instead of search methods. The notification approach has advantages, such as high reactivity, easy distribution, and good tradeoff between generality and applicability. The solution consists of a holonic metamodel whose features are highlighted, in this paper, by applying it to a collaborative control of an agile manufacturing system.