For the most recent entries see the Petri Nets Newsletter.

Structural Error Verification in Active Rule-Based Systems using Petri Nets.

Chavarria-Baez, Lorena; Li, Xiaoou

In: micai, pages 12-21. 2006.

Abstract: A knowledge base needs to be verified so that it works corretly. Up to date, approaches on production rule base verification have been reported adequately. However, active rule base verification cannot be found. In this paper, we primitively define structural errors in active rule base. Then, a verification approach is proposed based on Conditional Colored Petri Nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography