Login / Signup
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems.
Anne Labroue
Philippe Schnoebelen
Published in:
Nord. J. Comput. (2002)
Keyphrases
</>
reachability analysis
expert systems
finite state machines
management system
distributed systems
intelligent systems
cellular automata
complex systems
modal logic
incremental algorithms