SOFTWARE DESIGN MODELLING WITH FUNCTIONAL PETRI NETS. NIJOTECH. 2003;22(1):15-23. doi:10.4314/njt.221.460