Design and analysis of rule-based systems with Adder Designer

MaRDI QIDQ3521806zbMATH OpenFDO

Authors Marcin Szpyrka

Publication date 26 August 2008

zbMATH Keywords

Real-Time Coloured Petri netsrule-based systems for embedded control systems

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• D-nets---Petri net form of rule-based systems
• Design and analysis of embedded systems with RTCP-nets.
• Embedded control system design. A model based approach
• scientific article; zbMATH DE number 1755140
• scientific article; zbMATH DE number 1751927

Cited in

(2)

• Separating I/O from application logic for rule-based control systems
• D-nets---Petri net form of rule-based systems

This page was built for publication: Design and analysis of rule-based systems with Adder Designer

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