Automat ograniczeń

W informatyce automaty z ograniczeniami są formalizmem opisującym zachowanie i możliwy przepływ danych w modelach koordynacyjnych . Został wprowadzony przez Arbaba i in. jako odmiana automatów skończonych do sprawdzania modeli obwodów złącza Reo.

Automaty z ograniczeniami można uznać za uogólnienia automatów probabilistycznych , w których ograniczenia danych zamiast prawdopodobieństw oznaczają przejścia stanów i wpływają na ich odpalanie.