In: Informatik Forschung und Entwicklung, Vol. 6, No. 2, pages 79-89. 1991.
Abstract: Some requirement definitions and some specification languages with well defined syntax and semantics have been proposed. After an overview of the different approaches of semantics definition of specification languages the author goes into the details of a special approach. A two-level mapping is proposed to derive from the syntax of a string-language an extended Petri net. The mapping is described formally by means of graph grammars. This approach is well suited for the definition of a corresponding compiler. The resulting Petri net is executable with the help of a simulator.
Keywords: semantic definition (of) requirement definition language(s); specification language; graph grammar; simulation; extended net.
Back to the Petri Nets Bibliography