Conception of a Knowledge-Based System for Designing Distributed Systems

摘要

A computer-based tool for designing distributed systems is described. Using the Petri-net variation a graphic representation of dynamic, parallel process sequences under fixed time conditions is possible. The Petri-net variation is an independent description method as well. Also found is a separately usable concept for the design of user shells in larger data-processing systems. For the implementation as a knowledge-based system, the elements from knowledge representation (facts, rules) should be reproduced in the form of the Petri-net variation. The Prolog inference mechanism is tranformed into a part of the Petri nets.