Skip to main content
SpringerLink
Log in

Petri Net Control for Grammar Systems

  • Chapter
  • First Online:
Formal and Natural Computing

Part of the book series: Lecture Notes in Computer Science ((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.

corresponding author

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Berstel, Transductions and Context-Free Languages, Teubner, Stuttgart, 1979.

    Google Scholar 

  2. D.D. Corkill, Blackboard Systems. AI Expert 6, 9 (1991), 40–47.

    Google Scholar 

  3. E. Csuhaj-Varjú and J. Dassow, On Cooperating Distributed Grammar Systems. J. Inf. Process. Cybern. EIK 26 (1990), 49–63.

    MATH  Google Scholar 

  4. 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. 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. 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.

    Article  MATH  MathSciNet  Google Scholar 

  7. 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. J. Dassow, Gh. Păun and G. Rozenberg, Grammar Systems. In [RS97] vol. 2 (1997), 155–213.

    Google Scholar 

  9. J. Dassow, Gh. Păun and A. Salomaa, Grammars with Controlled Derivations. In [RS97] vol. 2 (1997), 101–154.

    Google Scholar 

  10. C.-M. Ionescu and O. Procopiuc, Bounded Communication in Parallel Communicating Grammar Systems. J. Inf. Process. Cybern. EIK 30 (1994), 97–110.

    MATH  Google Scholar 

  11. N.W. Keesmaat, Vector Controlled Concurrent Systems. Ph.D. thesis, Leiden University, 1996.

    Google Scholar 

  12. 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.

    Article  MathSciNet  Google Scholar 

  13. N.W. Keesmaat, H.C.M. Kleijn and G. Rozenberg, Vector Controlled Concurrent Systems, Part I: Basic Classes. Fundamenta Informaticae 13 (1990), 275–316.

    MATH  MathSciNet  Google Scholar 

  14. N.W. Keesmaat, H.C.M. Kleijn and G. Rozenberg, Vector Controlled Concurrent Systems, Part II: Comparisons. Fundamenta Informaticae 14 (1991), 1–38.

    MATH  MathSciNet  Google Scholar 

  15. R. Meersman and G. Rozenberg, Cooperating Grammar Systems. Lect. Notes in Comp. Sci. 64 (1978), Springer-Verlag, 364–374.

    Google Scholar 

  16. R. Meersman, G. Rozenberg and D. Vermeir, Cooperating Grammar Systems. Techn. Report 78-12, Univ. Antwerp, Dept. Math., 1978.

    Google Scholar 

  17. V. Mitrana, On the Degree of Communication in Parallel Communicating Finite Automata Systems. J. Automata, Languages and Combinatorics 5 (2000), 301–314.

    MATH  MathSciNet  Google Scholar 

  18. 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. J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981.

    Google Scholar 

  20. Gh. Păun and L. Santean, Parallel Communicating Grammar Systems: The Regular Case. A. Univ. buc., Ser. Matem.-Inform. 38 (1989), 55–63.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIACS, Leiden University, P.O.Box 9512, 2300, Leiden, RA, The Netherlands

    Maurice ter Beek & Jetty Kleijn

Authors
  1. Maurice ter Beek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jetty Kleijn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, Technical University of Munich, Arcisstraße 21, 80333, Munich, Germany

    Wilfried Brauer

  2. Computer Science Department, Technical University of Berlin, Franklinstraße 28/29, 10587, Berlin, Germany

    Hartmut Ehrig

  3. Department of Mathematics, University of Turku, 20014, Turku, Finland

    Juhani Karhumäki

  4. Turku Centre for Computer Science, Lemminkäisenkatu 14A, 20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Beek, M.t., Kleijn, J. (2002). Petri Net Control for Grammar Systems. In: Brauer, W., Ehrig, H., Karhumäki, J., Salomaa, A. (eds) Formal and Natural Computing. Lecture Notes in Computer Science, vol 2300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45711-9_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-45711-9_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43190-9

  • Online ISBN: 978-3-540-45711-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation