Abstract :
Gives an overview of Petri nets as a design methodology for concurrent systems, and looks at the application of Petri nets to artificial intelligence. A simple example of a rule-based production system is then used to demonstrate the use of Petri nets to analyse a system and provide a measure of integrity. The paper highlights the benefits of using Petri nets as an analysis tool particularly when applied to knowledge based systems
