Petri Net based software validation prospects and limitations - Heiner, Monika (Internat. Computer Science Inst., 1992)