D-nets---Petri net form of rule-based systems

MaRDI QIDQ3070910zbMATH OpenFDO

Authors Marcin Szpyrka, Tomasz Szmuc

Publication date 28 January 2011

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

• Design and analysis of rule-based systems with Adder Designer
• Design and analysis of embedded systems with RTCP-nets.
• Verifying an acyclic rule-based system by Petri nets
• Validation and verification of decision making rules
• scientific article; zbMATH DE number 4121479

Cited in

(5)

• Validation and verification of decision making rules
• Design and analysis of rule-based systems with Adder Designer
• Verifying an acyclic rule-based system by Petri nets
• Design and analysis of embedded systems with RTCP-nets.
• Analysis of VME-bus communication protocol -- RTCP-net approach

This page was built for publication: D-nets---Petri net form of rule-based systems

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