Next:
Systems with procedures
Up:
main
Previous:
Introduction
Analyzing new types of extended automata
Subsections
Systems with procedures
Systems modeled by timed Petri nets
Systems with real variables
Fair parametric extended automata
Systems with FIFO channels
Effective lossy queue languages