An approach towards the verification of expert systems using numerical petri nets
- 1 June 1991
- journal article
- Published by Wiley in International Journal of Intelligent Systems
- Vol. 6 (3) , 255-276
- https://doi.org/10.1002/int.4550060303
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Internal consistency in plausible reasoning systemsNew Generation Computing, 1985
- Modeling production rules by Means of Predicate Transition networksInformation Sciences, 1985
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- A truth maintenance systemArtificial Intelligence, 1979
- Dendral and meta-dendral: Their applications dimensionArtificial Intelligence, 1978
- Properties of Conflict-Free and Persistent Petri NetsJournal of the ACM, 1978