Modular finite state machines for logic control

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

The control of discrete event systems

Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations

Engineering, Computer Science, Systems Engineering +15

Reconfigurable Manufacturing Systems

Yoram Koren, Uwe Heisel, F. Jovane et al. · CIRP Annals · 1999 · 2K citations

On Communicating Finite-State Machines

Daniël Brand, P. Zafiropulo · Journal of the ACM · 1983 · 1.1K citations · Full text

Engineering, Computer Engineering, Computer Science +13

Input/output discrete event processes and communication delays

Silvano Balemi · Discrete Event Dynamic Systems · 1994 · 77 citations

Engineering, Computer Science, Computer Systems +14