A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems

DOI10.1076/MCMD.8.1.49.8338MaRDI QIDQ3147797zbMATH OpenOpenAlexFDO

Authors V. Chandra, Ratnesh Kumar

Publication date 19 February 2003

Published in Mathematical and Computer Modelling of Dynamical Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1076/mcmd.8.1.49.8338

zbMATH Keywords

polynomial complexityvalidationdiscrete event systemsdebuggingreconfigurationinitial conditionsprecedence relationsmanufacturing control systemsrule-based modellingautomata modelsevent occurrence rules

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Recommendations

• Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism
• scientific article; zbMATH DE number 4200091
• Discrete events and general systems theory
• scientific article; zbMATH DE number 1383199
• scientific article; zbMATH DE number 1262883

Cited in

(5)

• A Product Automaton Formalism for Hierarchical, Modular, Discrete Simulation
• REALIZATION THEORY OF DISCRETE-EVENT SYSTEMS AND ITS APPLICATION TO THE UNIQUENESS AND UNIVERSALITY OF DEVS FORMALISM
• Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism
• Grafcet: behavioural issues and control synthesis
• Modeling for supervisor synthesis -- a lock-bridge combination case study

This page was built for publication: A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems

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