Advertisement

Petri Net Control for Grammar Systems

  • Maurice ter Beek
  • Jetty Kleijn
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2300)

Abstract

It is demonstrated how Petri nets may be used to control the derivations in systems of cooperating grammars. This allows to define grammar systems with a concurrent rewriting protocol. Some basic properties are established.

Keywords

Regular Language Sentential Form Terminal Symbol Vector Label Word Vector 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Ber79]
    J. Berstel, Transductions and Context-Free Languages, Teubner, Stuttgart, 1979.Google Scholar
  2. [Cor91]
    D.D. Corkill, Blackboard Systems. AI Expert 6, 9 (1991), 40–47.Google Scholar
  3. [CD90]
    E. Csuhaj-Varjú and J. Dassow, On Cooperating Distributed Grammar Systems. J. Inf. Process. Cybern. EIK 26 (1990), 49–63.zbMATHGoogle Scholar
  4. [CDKP94]
    E. Csuhaj-Varjú, J. Dassow, J. Kelemen and Gh. Păun, Grammar Systems. A Grammatical Approach to Distribution and Cooperation, Gordon and Breach, London, 1994.Google Scholar
  5. [CK89]
    E. Csuhaj-Varjú and J. Kelemen, Cooperating Grammar Systems: A Syntactical Framework for the Blackboard Model of Problem Solving. In Proc. AI and Information-Control Systems of Robots’ 89 (I. Plander, Ed.), North-Holland Publ. Co., 1989, 121–127.Google Scholar
  6. [CV01]
    E. Csuhaj-Varjú and Gy. Vaszil, On Context-Free Parallel Communicating Grammar Systems: Synchronization, Communication, and Normal Forms. Theoretical Computer Science 255 (2001), 511–538.zbMATHCrossRefMathSciNetGoogle Scholar
  7. [CL92]
    N. Carver and V. Lesser, The Evolution of Blackboard Control Architectures. In Expert Systems with Applications, Special Issue on The Blackboard Paradigm and Its Applications 7, 1 (1994), 1–30.Google Scholar
  8. [DPR97]
    J. Dassow, Gh. Păun and G. Rozenberg, Grammar Systems. In [RS97] vol. 2 (1997), 155–213.Google Scholar
  9. [DPS97]
    J. Dassow, Gh. Păun and A. Salomaa, Grammars with Controlled Derivations. In [RS97] vol. 2 (1997), 101–154.Google Scholar
  10. [IP94]
    C.-M. Ionescu and O. Procopiuc, Bounded Communication in Parallel Communicating Grammar Systems. J. Inf. Process. Cybern. EIK 30 (1994), 97–110.zbMATHGoogle Scholar
  11. [Kee96]
    N.W. Keesmaat, Vector Controlled Concurrent Systems. Ph.D. thesis, Leiden University, 1996.Google Scholar
  12. [KK97]
    N.W. Keesmaat and H.C.M. Kleijn, Net-Based Control versus Rational Control: The Relation between ITNC Vector Languages and Rational Relations. Acta Informatica 34 (1997), 23–57.CrossRefMathSciNetGoogle Scholar
  13. [KKR90]
    N.W. Keesmaat, H.C.M. Kleijn and G. Rozenberg, Vector Controlled Concurrent Systems, Part I: Basic Classes. Fundamenta Informaticae 13 (1990), 275–316.zbMATHMathSciNetGoogle Scholar
  14. [KKR91]
    N.W. Keesmaat, H.C.M. Kleijn and G. Rozenberg, Vector Controlled Concurrent Systems, Part II: Comparisons. Fundamenta Informaticae 14 (1991), 1–38.zbMATHMathSciNetGoogle Scholar
  15. [MR78]
    R. Meersman and G. Rozenberg, Cooperating Grammar Systems. Lect. Notes in Comp. Sci. 64 (1978), Springer-Verlag, 364–374.Google Scholar
  16. [MRV78]
    R. Meersman, G. Rozenberg and D. Vermeir, Cooperating Grammar Systems. Techn. Report 78-12, Univ. Antwerp, Dept. Math., 1978.Google Scholar
  17. [Mit00]
    V. Mitrana, On the Degree of Communication in Parallel Communicating Finite Automata Systems. J. Automata, Languages and Combinatorics 5 (2000), 301–314.zbMATHMathSciNetGoogle Scholar
  18. [Nii89]
    P.H. Nii, Blackboard Systems. In The Handbook of Artificial Intelligence vol. 4 (A. Barr, P.R. Cohen and E.A. Feigenbaum, Eds.), Addison-Wesley, 1989.Google Scholar
  19. [Pet81]
    J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981.Google Scholar
  20. [PS89]
    Gh. Păun and L. Santean, Parallel Communicating Grammar Systems: The Regular Case. A. Univ. buc., Ser. Matem.-Inform. 38 (1989), 55–63.zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Maurice ter Beek
    • 1
  • Jetty Kleijn
    • 1
  1. 1.LIACSLeiden UniversityLeidenThe Netherlands

Personalised recommendations