%0 Journal Article
%T System modelling with high-level Petri nets
%A Genrich, H.J.
%A Lautenbach, K.
%A ,
%J Theoretical Computer Science
%@ 0304-3975
%D 1981-01-01
%I Elsevier BV
%~ DeepDyve