Guidelines on using net analysis techniques with large specifications. - G. Comparin; Gaetano Aurelio Lanzarone; Kurt Lautenbach; Anastasia Pagnoni; W. Panzeri; A. Torgano (Applications and Theory in Petri Nets, 1985)