Descriptive and analytical process algebras

  • Ludmila A. Cherkasova
  • Vadim E. Kotov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 424)


The paper consists of two parts. In the first, an analytical algebra AFPi of finite nondeterministic concurrent processes is introduced. The semantics of processes specified by a formula of AFPi is characterized by a set of partial orders with "non-actions". The notion of process equivalence is introduced and its complete axiomatization is proposed.

The "descriptive" algebra AFPo for specifying structure of finite (acyclic) Petri nets is presented. The interrelation between AFPo and AFPi is investigated.

Key words

concurrent nondeterministic processes true concurrency partially ordered sets non-actions denotational semantics Petri nets occurrence nets A-nets M-density 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Petri C.A. Non-sequential processes. — ISF-Report-77.05, St.Augustin: Gesellschaft fur Mathematik und Datenverarbeitung, 1971, 31 p.Google Scholar
  2. 2.
    Petri C.A. Concurrency as a basis for system thinking. ISP-Report 78.06, St.Augustin:Gesellschaft fur Mathematik und Datenverarbeitung, 1978, 20 p.Google Scholar
  3. 3.
    Best E. The relative strength of K-density. — Lecture Notes in Computer Science, Springer Verlag, Berlin, v. 84, 1980, p. 261–276.Google Scholar
  4. 4.
    Pratt V.R. Modelling Concurrency with Partial Orders. — International Journal of Parallel Programming, v. 15, No 1, 1987, p. 33–71.Google Scholar
  5. 5.
    Nielsen M., Plotkin G., Winskel G. Petri Nets, Event Structures and Domains. — Lecture Notes in Computer Science, Springer-Verlag, Berlin, v. 70, 1979, p. 266–284.Google Scholar
  6. 6.
    Kotov V.E., Cherkasova L.A. On structural properties of generalized processes. — Lecture Notes on Computer Science, v. 188, Springer Verlag, Berlin, 1984, p. 288–306.Google Scholar
  7. 7.
    Kotov V.E. An algebra for parallelism Based on Petri Nets. — Lecture Notes in Computer Science, Springer-Verlag, Berlin, v. 64, 1978, p. 39–55.Google Scholar
  8. 8.
    Kotov V.E., Cherkasova L.A. From Nets to Logic and Back in Specification of Process. — Concurrency and Nets. Springer-Verlag, Berlin, 1987, p. 253–268.Google Scholar
  9. 9.
    Kotov, V.E., Cherkasova L.A. On generalized process logic. — Lecture Notes in Computer Science, v. 278, Springer-Verlag, p. 246–250, 1987.Google Scholar
  10. 10.
    Milner R. A calculus for communicating systems. — Lecture Notes in Computer Science, Springer-Verlag, Berlin, v. 92, 1980.Google Scholar
  11. 11.
    Hoare C.A.R. Communicating sequential processes. — Prentice Hall International, 1985.Google Scholar
  12. 12.
    Lauer P.E., Torrigiani P.R., Shields M.W. COSY — A System Specification Language Based on Paths and Processes. Acta Informatica, vol. 12, p. 109–158, 1979.Google Scholar
  13. 13.
    Goltz U., Mycroft A. On the relationship of CCS and Petri Nets. Lectures Notes in Computer Science, Springer-Verlag, v. 172, p. 196–208, 1984.Google Scholar
  14. 14.
    Degano P., De Nicola R., Montanari U. CCS is an (Augmented) Contact-Free C/E Systems. Lecture Notes in Computer Science, Springer-Verlag, v. 280, p. 144–165, 1987.Google Scholar
  15. 15.
    Olderog E.R. TCSP: Theory of Communicating Sequential Processes. Lecture Notes in Computer Science, Springer-Verlag, v. 255, p. 441–465, 1987.Google Scholar
  16. 16.
    Brookes S.D., Hoare C.A.R., Rosque A.W. A theory of communicating sequential processes. J. ACM, v. 31, 1984, p. 560–599.Google Scholar
  17. 17.
    Milner R. Fully abstract models of typed-calculi. Theoretical Computer Science, v. 4, 1977, p. 1–22.Google Scholar
  18. 18.
    Hennessy M., Plotkin G.D. Full abstraction for a simple programming language. Lecture Notes in Computer Science, v. 74, 1979, p. 108–120.Google Scholar
  19. 19.
    Genrich H., Lautenbach K., Thiagarajan P.S. Elements of General Net Theory. Lecture Notes in Computer Science, v. 84, p. 21–164.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Ludmila A. Cherkasova
    • 1
  • Vadim E. Kotov
    • 1
  1. 1.Computing CenterSiberian Division of the USSR Academy of SciencesNovosibirskUSSR

Personalised recommendations