Re: RTS graph and "temporal formulas"

[Emanuel Berg <embe8573@student.uu.se>]

optikos@verizon.net writes:

> You turn to the Ada-language Usenet group for a question about
> 1950s mathematics-nomenclature?  Oh well.  Instead of "get off
> my lawn", I will point you in the right direction, which
> generally leads away from here. :-)

The reason I posted here is that we had Ada in the course.

Thanks for the tutorial, very helpful. I will read those pages,
only: the "x := 0" response transition doesn't have a stimuli. The
state it comes from has one, so perhaps that should be used?

But then, the "A" state has a stimuli (x <= 10), and two outgoing
transitions *with* stimuli (x < 5 and x > 11) - how should this be
interpreted?

Last: the clocks - do they start at 0?

Making a transition, that doesn't take any time, does it?

-- 
Emanuel Berg - programmer (hire me! CV below)
computer projects: http://user.it.uu.se/~embe8573
internet activity: http://home.student.uu.se/embe8573