Schmidt, Heinz W. "Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event Nets" Technical Report 90--020 --- Berkeley, Calif., USA: International Computer Science Institute (ICSI)
May, 1990 Journal of Systems and Software, Vol. 15, No. 1
Apr, 1991 Pp43-62 (1990) |