Title of talk: Petri net controlled grammar systems

Abstract

Cooperating distributed grammar systems were introduced as a formal model for the blackboard model of problem solving known from artificial intelligence.

In this talk we propose a model to study concurrent cooperation protocols for blackboard systems, with grammars as knowledge sources like in cooperating distributed grammar systems, and with a behaviour based on vectors.

Concurrency is implemented in this model by using a particular type of Petri net as controller of the grammar system.