“SOFTWARE DESIGN MODELLING WITH FUNCTIONAL PETRI NETS” (2003) Nigerian Journal of Technology, 22(1), pp. 15–23. doi:10.4314/njt.221.460.