scientific article; zbMATH DE number 4108157

MaRDI QIDQ3832050zbMATH OpenFDO

Authors Vadim E. Kotov, Ludmila A. Cherkasova

Publication date 1987

zbMATH Keywords

occurrence netsPetri net theory process algebraprocess logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other algebras related to logic (03G25) Theory of computing (68Q99) Algebraic methods (93B25)

Recommendations

• Process languages and nets
• scientific article; zbMATH DE number 3967922
• Lectures on Concurrency and Petri Nets
• A unified model for nets and process algebras
• scientific article; zbMATH DE number 3980501

Cited in

(6)

• P/R nets and process concepts. II
• Fair Petri nets and structural induction for rings of processes
• scientific article; zbMATH DE number 4085629 (Why is no real title available?)
• scientific article; zbMATH DE number 1337886 (Why is no real title available?)
• From process logic to program logic
• Deriving graphical representations of process networks from algebraic expressions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3832050)