scientific article

zbMATH Open1147.68048MaRDI QIDQ3436361

Xiaoou Li, Lorena Chavarría-Báez

Publication date: 8 May 2007

Title of this publication is not available (Why is that?)

zbMATH Keywords

correctnessPetri netsredundancycolored Petri netscondition-event nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Title not available (Why is that?) 👍 👎
• Verification of rule knowledge bases using decision units 👍 👎
• Verification of multiple agent knowledge-based systems 👍 👎
• Verification of Context-Sensitive Knowledge and Action Bases 👍 👎
• Verification of Uncertain Knowledge-Based Systems: An Empirical Verification Approach 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3436361)