Pages that link to "Item:Q3147797"
From MaRDI portal
The following pages link to A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems (Q3147797):
Displaying 5 items.
- Modeling for supervisor synthesis -- a lock-bridge combination case study (Q2197591) (← links)
- Grafcet: behavioural issues and control synthesis (Q2512237) (← links)
- REALIZATION THEORY OF DISCRETE-EVENT SYSTEMS AND ITS APPLICATION TO THE UNIQUENESS AND UNIVERSALITY OF DEVS FORMALISM (Q2756151) (← links)
- A Product Automaton Formalism for Hierarchical, Modular, Discrete Simulation (Q4015387) (← links)
- Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism (Q4465157) (← links)