What people are saying - Write a review
We haven't found any reviews in the usual places.
Systems and System Behaviors
5 other sections not shown
Other editions - View all
algorithm arbitrary atoms AUTOFLOW belong c-isomorphic called Carl Adam Petri cobbler composition sequence computing concurrent arcs conflict congruent constraints construction copy range CORE DUMP corresponding cost cycle decompilation decomposition DECtape define definition described empty equivalence classes exactly example exists Figure finite FORTRAN forwards constant free functional unit given I/O mapping identical initial slice initial vertex inner vertexes input value INSTR2 INSTR3 integer Inter(B interpretation intervals irreducible iteration least one arc machine means node o-cycle o-graph o-loop o-system occurrence graph occurrence systems occurrence type October 23 operation output pair pairwise concurrent partial ordering path Peter Freyd Petri nets possible problem programs relation repetition stretch represent representation result register satisfies segment set of alternatives set of arcs shoes simulation solution space Stephen Warshall strand covering structure subset task terminal slice terminal vertex transition firings W-file