scientific article; zbMATH DE number 1836354

zbMath1036.93044MaRDI QIDQ4782023

Peter Buchholz, Peter Kemper

Publication date: 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

equivalencereachability analysisautomata networksbisimulation equivalenceKronecker representationordered natural decision diagramscomposed automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) System structure simplification (93B11) Attainable sets, reachability (93B03)