URN:NBN:SI:doc-VTFD2G252009Cheung, King-SingChow, Paul Kai-Ondocuments/doc/V/URN_NBN_SI_doc-VTFD2G25_001.pdfdocuments/doc/V/URN_NBN_SI_doc-VTFD2G25_001.txt233articlestr. 213-2240350-559622872615URN:NBN:SI:doc-VTFD2G25engSlovensko društvo InformatikaInformatica (Ljubljana)InCinformatikainformation scienceobjektno usmerjeni sistemiPetrijeve mrežeA Petri-net approach to refining object behavioural specifications