Robert Valette. Analysis of Petri Nets by Stepwise Refinements. J. Comput. Syst. Sci., 18(1):35-46, 1979.
@article{Valette79, title = {Analysis of Petri Nets by Stepwise Refinements}, author = {Robert Valette}, year = {1979}, tags = {refinement, analysis}, researchr = {https://researchr.org/publication/Valette79}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {18}, number = {1}, pages = {35-46}, }