Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Multifacetted modelling and discrete event simulation | 1984 | |||
Petri net theory and the modeling of systems | 1981 | |||
Introduction to automata theory, languages, and computation | 1979 | |||
Principles of discrete event simulation | 1978 | |||
Automata, languages, and machines. Vol. A | 1974 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Compositional non-blockingness verification of finite automata with prioritised events | Discrete Event Dynamic Systems |
| 2024 | |
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges | Annual Reviews in Control |
| 2024 | |
Assessment of Petri nets Regulation Control methodologies for automation systems | Control Engineering Practice |
| 2024 | |
Information control in networked discrete event systems | Information Sciences |
| 2024 | |
Learning from positive and negative examples: New proof for binary alphabets | Information Processing Letters |
| 2024 |