Analysis of Petri Nets by Stepwise Refinements

Robert Valette. Analysis of Petri Nets by Stepwise Refinements. J. Comput. Syst. Sci., 18(1):35-46, 1979.

Abstract

Abstract is missing.