Validation and verification of decision making rules

DOI10.1016/S0005-1098(96)00165-3zbMath0869.90003MaRDI QIDQ1354851

Abbas K. Zaidi, Alexander H. Levis

Publication date: 25 August 1997

Published in: Automatica (Search for Journal in Brave)

zbMATH Keywords

equivalent Petri netverification of decision making rules

Mathematics Subject Classification ID

Decision theory (91B06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Validation and verification of decision making rules ⋮ Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

Cites Work

• Modeling production rules by means of predicate transition networks
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Validation and verification of decision making rules
• Unnamed Item
• Unnamed Item

This page was built for publication: Validation and verification of decision making rules