1
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... preserving failure semantics -- Siphons, traps and high-level nets with infinite color domains -- Teaching...