๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Towards the formalisation of soft systems models using Petri net theory

โœ Scribed by Sagoo, J.S.; Boardman, J.T.

Book ID
114449839
Publisher
The Institution of Electrical Engineers
Year
1998
Tongue
English
Weight
982 KB
Volume
145
Category
Article
ISSN
1350-2379

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Petri Net theory and the modeling of sys
Petri Net theory and the modeling of systems
โœ James Lyle Peterson ๐Ÿ“‚ Library ๐Ÿ“… 1981 ๐Ÿ› Prentice-Hall ๐ŸŒ English โš– 2 MB

Petri net theory has developed considerably from its beginnings with Dr. Petri's 1962 Ph.D. dissertation. However, much of the work on Petri nets is hard to obtain, being available only as reports and dissertations scattered among many sources. Despite the difficulty in learning about Petri nets, ho

An approach towards the verification of
An approach towards the verification of expert systems using numerical petri nets
โœ N. K. Liu; T. Dillon ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 936 KB

A major difficulty that occurs in the construction of large production rule-based expert systems is maintaining the correctness, consistency, and completeness of the knowledge base. A method of transforming the production rules into a numerical petri nets (NPNs) model is proposed. These NPNs are hig