Advertisement

Abstract

This paper extends automata-theoretic techniques to unbounded parallel behaviour, as seen for instance in Petri nets. Languages are defined to be sets of (labelled) series-parallel posets – or, equivalently, sets of terms in an algebra with two product operations: sequential and parallel. In an earlier paper, we restricted ourselves to languages of posets having bounded width and introduced a notion of branching automaton. In this paper, we drop the restriction to bounded width. We define rational expressions, a natural generalization of the usual ones over words, and prove a Kleene theorem connecting them to regular languages (accepted by finite branching automata). We also show that recognizable languages (inverse images by a morphism into a finite algebra) are strictly weaker.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bloom, S., Ésik, Z.: Free shuffle algebras in language varieties. TCS 163, 55–98 (1996)zbMATHCrossRefGoogle Scholar
  2. 2.
    Boudol, G.: Notes on algebraic calculi of processes. In: Apt, K.R. (ed.) Logics and models of concurrent systems. NATO ASI Series F13, pp. 261–305 (1985)Google Scholar
  3. 3.
    Büchi, J.R.: Finite automata, their algebras and grammars: Towards a theory of formal expressions. Siefkes, D. (ed.) Springer, Heidelberg (1989)Google Scholar
  4. 4.
    Courcelle, B.: Graph rewriting: an algebraic and logical approach. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B. Elsevier, Amsterdam (1990)Google Scholar
  5. 5.
    Courcelle, B.: The monadic second-order logic of graphs V: on closing the gap between definability and recognizability. Theoret. Comp. Sci. 80, 153–202 (1991)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Diekert, V., Rozenberg, G.: The book of traces. World Scientific, Singapore (1995)CrossRefGoogle Scholar
  7. 7.
    Garg, V.K., Ragunath, M.T.: Concurrent regular expressions and their relationship to Petri nets. Theoret. Comp. Sci. 96, 285–304 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Gécseg, F., Steinby, M.: Tree automata, Akadémiai Kiadó, Budapest (1984)Google Scholar
  9. 9.
    Gischer, J.L.: The equational theory of pomsets. TCS 61, 199–224 (1988)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Grabowski, J.: On partial languages. Fund. Inform. IV, 427–498 (1981)MathSciNetGoogle Scholar
  11. 11.
    Lodaya, K., Weil, P.: Series-parallel posets: algebra, automata and languages. In: Meinel, C., Morvan, M. (eds.) STACS 1998. LNCS, vol. 1373, pp. 555–565. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  12. 12.
    Lodaya, K., Weil, P.: Series-parallel languages and the bounded width property, IMSc Tech Rep 98/07/36 (1998), http://www.imsc.ernet.in/~kamal/splbwp.ps.gz
  13. 13.
    Petri, C.A.: Fundamentals of a theory of asynchronous information flow. In: Proc. IFIP (Amsterdam 1962), pp. 386–390. North-Holland, Amsterdam (1963)Google Scholar
  14. 14.
    Pratt, V.: Modelling concurrency with partial orders. IJPP 15(1), 33–71 (1986)zbMATHMathSciNetGoogle Scholar
  15. 15.
    Reisig, W.: Petri nets, an introduction. Springer, Heidelberg (1985)zbMATHGoogle Scholar
  16. 16.
    Thatcher, J.W., Wright, J.B.: Generalized finite automata with an application to a decision problem of second order logic. Math. Syst. Theory 2, 57–82 (1968)CrossRefMathSciNetGoogle Scholar
  17. 17.
    Valdes, J., Tarjan, R.E., Lawler, E.L.: The recognition of series-parallel digraphs. SIAM J. Comput. 11, 298–313 (1981)CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Kamal Lodaya
    • 1
  • Pascal Weil
    • 2
  1. 1.Institute of Mathematical SciencesCIT CampusChennaiIndia
  2. 2.LaBRIUniversité Bordeaux 1 & CNRSTalence CedexFrance

Personalised recommendations