S-Invariance in Predicate/Transition Nets

Hartmann J. Genrich, Kurt Lautenbach. S-Invariance in Predicate/Transition Nets. In Anastasia Pagnoni, Grzegorz Rozenberg, editors, Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982. Volume 66 of Informatik-Fachberichte, pages 98-111, Springer, 1982.

Abstract

Abstract is missing.