MPG.eBooks - Search Results - "branching process"

Search alternatives:
"branching process" » "branching processes", "branching programs"

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice...

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Analysis of Time Petri Nets -- Branching Processes of High-Level Petri Nets -- Using Petri Net Invariants...”