A Petri-net approach to refining object behavioural specifications - Cheung, King-Sing (Informatica (Ljubljana), 2009)
Keywords: informatika; information science; objektno usmerjeni sistemi; Petrijeve mreže