An approach towards the verification of expert systems using numerical petri nets Academic Article uri icon

publication date

  • June 1991